Details

sample148.0ms

Algorithm

intervals

Results

110.0ms

597×

body

valid

simplify678.0ms

Counts

1 → 1

Calls

1 calls:

Slowest

678.0ms

(+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y))))

prune13.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 9.7b

localize85.0ms

Local error

Found 4 expressions with local error:

5.6b	(* b (- (* c z) (* i a)))
4.8b	(* x (- (* y z) (* t a)))
3.6b	(* j (- (* c t) (* i y)))
0.0b	(+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y))))

rewrite205.0ms

Algorithm

rewrite-expression-head

Rules

34×	`associate-*r/`
19×	`flip3--` `flip--`
16×	`add-sqr-sqrt`
12×	`frac-add`
11×	`sub-neg`
10×	`distribute-rgt-in` `pow1` `*-un-lft-identity` `distribute-lft-in` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt`
9×	`associate-r` `associate-l` `add-log-exp`
8×	`frac-sub`
6×	`associate-+l+`
4×	`associate-+r+` `associate--l+` `insert-posit16`
3×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`
2×	`sum-log`
1×	`+-commutative` `flip3-+` `diff-log` `associate-+l-` `flip-+`

Counts

4 → 111

Calls

4 calls:

Slowest

80.0ms	(+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y))))
52.0ms	(* x (- (* y z) (* t a)))
45.0ms	(* b (- (* c z) (* i a)))
25.0ms	(* j (- (* c t) (* i y)))

series1.2s

Counts

4 → 12

Calls

4 calls:

Slowest

818.0ms	(+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y))))
124.0ms	(* b (- (* c z) (* i a)))
123.0ms	(* j (- (* c t) (* i y)))
101.0ms	(* x (- (* y z) (* t a)))

simplify26.5s

Counts

148 → 123

Calls

148 calls:

Slowest

1.0s	(* (* (* x x) x) (* (* (- (* y z) (* t a)) (- (* y z) (* t a))) (- (* y z) (* t a))))
989.0ms	(* (* (* b b) b) (* (* (- (* c z) (* i a)) (- (* c z) (* i a))) (- (* c z) (* i a))))
907.0ms	(* (* (+ (* (* y z) (* y z)) (+ (* (* t a) (* t a)) (* (* y z) (* t a)))) (+ (* (* c z) (* c z)) (+ (* (* i a) (* i a)) (* (* c z) (* i a))))) (+ (* c t) (* i y)))
841.0ms	(* (* (* j j) j) (* (* (- (* c t) (* i y)) (- (* c t) (* i y))) (- (* c t) (* i y))))
775.0ms	(* (+ (* (* x (- (* y z) (* t a))) (* x (- (* y z) (* t a)))) (+ (* (* b (- (* c z) (* i a))) (* b (- (* c z) (* i a)))) (* (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))))) (+ (* (* c t) (* c t)) (+ (* (* i y) (* i y)) (* (* c t) (* i y)))))

prune2.8s

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 2.5b

localize78.0ms

Local error

Found 4 expressions with local error:

5.6b	(* b (- (* c z) (* i a)))
4.8b	(* x (- (* y z) (* t a)))
4.5b	(* (* c t) j)
4.1b	(* (- (* i y)) j)

rewrite79.0ms

Algorithm

rewrite-expression-head

Rules

17×	`add-sqr-sqrt`
15×	`pow1` `add-cbrt-cube` `add-exp-log`
13×	`associate-l`
12×	`associate-r`
11×	`*-un-lft-identity` `add-cube-cbrt`
6×	`pow-prod-down` `prod-exp` `cbrt-unprod`
4×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-r/` `-commutative` `insert-posit16` `add-log-exp`
3×	`unswap-sqr`
2×	`flip3--` `flip--`
1×	`distribute-lft-neg-out` `distribute-lft-neg-in` `neg-mul-1` `distribute-rgt-neg-in`

Counts

4 → 92

Calls

4 calls:

Slowest

30.0ms	(* b (- (* c z) (* i a)))
22.0ms	(* x (- (* y z) (* t a)))
16.0ms	(* (* c t) j)
9.0ms	(* (- (* i y)) j)

series284.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

112.0ms	(* b (- (* c z) (* i a)))
100.0ms	(* x (- (* y z) (* t a)))
40.0ms	(* (- (* i y)) j)
31.0ms	(* (* c t) j)

simplify10.0s

Counts

111 → 104

Calls

111 calls:

Slowest

987.0ms	(* (* (* b b) b) (* (* (- (* c z) (* i a)) (- (* c z) (* i a))) (- (* c z) (* i a))))
918.0ms	(* (* (* x x) x) (* (* (- (* y z) (* t a)) (- (* y z) (* t a))) (- (* y z) (* t a))))
680.0ms	(* (* (* (* c t) j) (* (* c t) j)) (* (* c t) j))
529.0ms	(* (* (* (* c t) (* c t)) (* c t)) (* (* j j) j))
411.0ms	(* (* (* (* c c) c) (* (* t t) t)) (* (* j j) j))

prune2.4s

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 2.3b

localize80.0ms

Local error

Found 4 expressions with local error:

16.9b	(cbrt (* (* c t) j))
16.9b	(cbrt (* (* c t) j))
16.9b	(cbrt (* (* c t) j))
5.6b	(* b (- (* c z) (* i a)))

rewrite79.0ms

Algorithm

rewrite-expression-head

Rules

8×	`add-sqr-sqrt`
6×	`pow1` `*-un-lft-identity` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt`
4×	`insert-posit16` `add-log-exp`
3×	`cbrt-prod` `pow1/3` `associate-r` `associate-l`
2×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-*r/`
1×	`flip3--` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `flip--` `unswap-sqr`

Counts

4 → 55

Calls

4 calls:

Slowest

46.0ms	(* b (- (* c z) (* i a)))
12.0ms	(cbrt (* (* c t) j))
10.0ms	(cbrt (* (* c t) j))
10.0ms	(cbrt (* (* c t) j))

series553.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

159.0ms	(cbrt (* (* c t) j))
151.0ms	(cbrt (* (* c t) j))
125.0ms	(cbrt (* (* c t) j))
118.0ms	(* b (- (* c z) (* i a)))

simplify6.9s

Counts

71 → 67

Calls

71 calls:

Slowest

924.0ms	(* (* (* b b) b) (* (* (- (* c z) (* i a)) (- (* c z) (* i a))) (- (* c z) (* i a))))
824.0ms	(* (cbrt -1) (exp (* -1/3 (+ (log (/ -1 j)) (+ (log (/ -1 t)) (log (/ -1 c)))))))
392.0ms	(* (cbrt -1) (exp (* -1/3 (+ (log (/ -1 j)) (+ (log (/ -1 t)) (log (/ -1 c)))))))
391.0ms	(* (cbrt -1) (exp (* -1/3 (+ (log (/ -1 j)) (+ (log (/ -1 t)) (log (/ -1 c)))))))
281.0ms	(exp (* -1/3 (+ (log (/ 1 c)) (+ (log (/ 1 j)) (log (/ 1 t))))))

prune1.8s

Pruning

18 alts after pruning (17 fresh and 1 done)

Merged error: 2.3b

localize111.0ms

Local error

Found 4 expressions with local error:

16.9b	(cbrt (* (* c t) j))
16.9b	(cbrt (* (* c t) j))
16.9b	(cbrt (* (* c t) j))
16.9b	(cbrt (* (* c t) j))

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

4×	`cbrt-prod` `add-sqr-sqrt` `pow1` `*-un-lft-identity` `add-cbrt-cube` `pow1/3` `add-exp-log` `add-cube-cbrt` `insert-posit16` `add-log-exp`

Counts

4 → 40

Calls

4 calls:

Slowest

10.0ms	(cbrt (* (* c t) j))
10.0ms	(cbrt (* (* c t) j))
10.0ms	(cbrt (* (* c t) j))
10.0ms	(cbrt (* (* c t) j))

series452.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

145.0ms	(cbrt (* (* c t) j))
110.0ms	(cbrt (* (* c t) j))
102.0ms	(cbrt (* (* c t) j))
95.0ms	(cbrt (* (* c t) j))

simplify4.3s

Counts

52 → 52

Calls

52 calls:

Slowest

412.0ms	(* (cbrt -1) (exp (* -1/3 (+ (log (/ -1 j)) (+ (log (/ -1 t)) (log (/ -1 c)))))))
401.0ms	(* (cbrt -1) (exp (* -1/3 (+ (log (/ -1 j)) (+ (log (/ -1 t)) (log (/ -1 c)))))))
383.0ms	(* (cbrt -1) (exp (* -1/3 (+ (log (/ -1 j)) (+ (log (/ -1 t)) (log (/ -1 c)))))))
350.0ms	(* (cbrt -1) (exp (* -1/3 (+ (log (/ -1 j)) (+ (log (/ -1 t)) (log (/ -1 c)))))))
280.0ms	(exp (* -1/3 (+ (log (/ 1 c)) (+ (log (/ 1 j)) (log (/ 1 t))))))

prune1.4s

Pruning

18 alts after pruning (16 fresh and 2 done)

Merged error: 2.3b

regimes2.7s

Accuracy

54% (3.7b remaining)

Error of 6.9b against oracle of 3.2b and baseline of 11.3b

bsearch20.0ms

end0.0ms

sample7.1s

Algorithm

intervals

Results

5.7s

18982×

body

valid