Details

sample185.0ms

Algorithm

intervals

Results

145.0ms

586×

body

valid

simplify277.0ms

Calls

1 calls:

Slowest

277.0ms

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

prune20.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 12.7b

localize66.0ms

Local error

Found 4 expressions with local error:

5.4b	(* (- (* z y) (* t a)) x)
5.3b	(fma j (- (* t c) (* y i)) (- (* (- (* z y) (* t a)) x) (* (- (* z c) (* i a)) b)))
4.2b	(* (- (* z c) (* i a)) b)
0.0b	(- (* (- (* z y) (* t a)) x) (* (- (* z c) (* i a)) b))

rewrite1.3s

Algorithm

rewrite-expression-head

Rules

753×	`associate-l`
745×	`add-sqr-sqrt`
595×	`*-un-lft-identity`
400×	`prod-diff`
256×	`distribute-lft-out--`
219×	`unswap-sqr`
176×	`difference-of-squares`
131×	`add-cube-cbrt`
129×	`associate-r`
43×	`*-commutative`
20×	`fma-neg`
12×	`associate-*l/`
8×	`pow1` `add-cbrt-cube` `add-exp-log`
7×	`flip3--` `flip--`
6×	`add-log-exp`
4×	`expm1-log1p-u` `frac-sub` `insert-posit16` `log1p-expm1-u`
2×	`pow-prod-down` `prod-exp` `cbrt-unprod`
1×	`sub-neg` `diff-log` `fma-udef`

Calls

4 calls:

Slowest

1000.0ms	(- (* (- (* z y) (* t a)) x) (* (- (* z c) (* i a)) b))
131.0ms	(* (- (* z y) (* t a)) x)
121.0ms	(* (- (* z c) (* i a)) b)
0.0ms	(fma j (- (* t c) (* y i)) (- (* (- (* z y) (* t a)) x) (* (- (* z c) (* i a)) b)))

series1.3s

Calls

4 calls:

Slowest

798.0ms	(fma j (- (* t c) (* y i)) (- (* (- (* z y) (* t a)) x) (* (- (* z c) (* i a)) b)))
329.0ms	(- (* (- (* z y) (* t a)) x) (* (- (* z c) (* i a)) b))
93.0ms	(* (- (* z y) (* t a)) x)
70.0ms	(* (- (* z c) (* i a)) b)

simplify3.2m

Calls

908 calls:

Slowest

769.0ms	(fma (- (* (sqrt (- (* z c) (* i a))) (sqrt b))) (* (sqrt (- (* z c) (* i a))) (sqrt b)) (* (* (sqrt (- (* z c) (* i a))) (sqrt b)) (* (sqrt (- (* z c) (* i a))) (sqrt b))))
703.0ms	(fma 1 (* (- (* z y) (* t a)) x) (- (* (cbrt (* (- (* z c) (* i a)) b)) (* (cbrt (* (- (* z c) (* i a)) b)) (cbrt (* (- (* z c) (* i a)) b))))))
684.0ms	(fma (- (sqrt (* (- (* z c) (* i a)) b))) (sqrt (* (- (* z c) (* i a)) b)) (* (sqrt (* (- (* z c) (* i a)) b)) (sqrt (* (- (* z c) (* i a)) b))))
662.0ms	(fma (- (* (sqrt (- (* z c) (* i a))) (sqrt b))) (* (sqrt (- (* z c) (* i a))) (sqrt b)) (* (* (sqrt (- (* z c) (* i a))) (sqrt b)) (* (sqrt (- (* z c) (* i a))) (sqrt b))))
654.0ms	(fma (- (* (- (* z c) (* i a)) b)) 1 (* (* (- (* z c) (* i a)) b) 1))

prune12.4s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 7.2b

localize31.0ms

Local error

Found 4 expressions with local error:

7.6b	(cbrt (- (* z y) (* t a)))
7.6b	(cbrt (- (* z y) (* t a)))
7.6b	(cbrt (- (* z y) (* t a)))
5.3b	(fma j (- (* t c) (* y i)) (- (* (* (cbrt (- (* z y) (* t a))) (cbrt (- (* z y) (* t a)))) (* (cbrt (- (* z y) (* t a))) x)) (* (- (* z c) (* i a)) b)))

rewrite86.0ms

Algorithm

rewrite-expression-head

Rules

43×	`add-sqr-sqrt`
33×	`cbrt-prod`
31×	`*-un-lft-identity`
12×	`associate-l` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`
7×	`add-cube-cbrt`
6×	`cbrt-div`
4×	`expm1-log1p-u` `pow1` `add-cbrt-cube` `add-exp-log` `insert-posit16` `log1p-expm1-u` `add-log-exp`
3×	`flip3--` `pow1/3` `flip--`
1×	`fma-udef`

Calls

4 calls:

Slowest

29.0ms	(cbrt (- (* z y) (* t a)))
28.0ms	(cbrt (- (* z y) (* t a)))
28.0ms	(cbrt (- (* z y) (* t a)))
0.0ms	(fma j (- (* t c) (* y i)) (- (* (* (cbrt (- (* z y) (* t a))) (cbrt (- (* z y) (* t a)))) (* (cbrt (- (* z y) (* t a))) x)) (* (- (* z c) (* i a)) b)))

series1.4s

Calls

4 calls:

Slowest

814.0ms	(fma j (- (* t c) (* y i)) (- (* (* (cbrt (- (* z y) (* t a))) (cbrt (- (* z y) (* t a)))) (* (cbrt (- (* z y) (* t a))) x)) (* (- (* z c) (* i a)) b)))
181.0ms	(cbrt (- (* z y) (* t a)))
180.0ms	(cbrt (- (* z y) (* t a)))
177.0ms	(cbrt (- (* z y) (* t a)))

simplify5.4s

Calls

51 calls:

Slowest

464.0ms	(cbrt (- (pow (* z y) 3) (pow (* t a) 3)))
392.0ms	(cbrt (- (pow (* z y) 3) (pow (* t a) 3)))
389.0ms	(exp (* -1/3 (+ (log (/ -1 z)) (log (/ -1 y)))))
373.0ms	(cbrt (- (pow (* z y) 3) (pow (* t a) 3)))
371.0ms	(exp (* -1/3 (+ (log (/ -1 z)) (log (/ -1 y)))))

prune2.5s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 7.2b

localize25.0ms

Local error

Found 4 expressions with local error:

7.6b	(cbrt (- (* z y) (* t a)))
7.6b	(cbrt (- (* z y) (* t a)))
7.6b	(cbrt (- (* z y) (* t a)))
7.6b	(cbrt (- (* z y) (* t a)))

rewrite82.0ms

Algorithm

rewrite-expression-head

Rules

56×	`add-sqr-sqrt`
44×	`cbrt-prod`
40×	`*-un-lft-identity`
16×	`associate-l` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`
8×	`cbrt-div` `add-cube-cbrt`
4×	`expm1-log1p-u` `pow1` `flip3--` `add-cbrt-cube` `pow1/3` `add-exp-log` `insert-posit16` `log1p-expm1-u` `flip--` `add-log-exp`

Calls

4 calls:

Slowest

28.0ms	(cbrt (- (* z y) (* t a)))
21.0ms	(cbrt (- (* z y) (* t a)))
17.0ms	(cbrt (- (* z y) (* t a)))
14.0ms	(cbrt (- (* z y) (* t a)))

series638.0ms

Calls

4 calls:

Slowest

175.0ms	(cbrt (- (* z y) (* t a)))
164.0ms	(cbrt (- (* z y) (* t a)))
158.0ms	(cbrt (- (* z y) (* t a)))
141.0ms	(cbrt (- (* z y) (* t a)))

simplify6.1s

Calls

64 calls:

Slowest

440.0ms	(cbrt (- (pow (* z y) 3) (pow (* t a) 3)))
399.0ms	(cbrt (- (pow (* z y) 3) (pow (* t a) 3)))
398.0ms	(cbrt (- (pow (* z y) 3) (pow (* t a) 3)))
373.0ms	(exp (* -1/3 (+ (log (/ -1 z)) (log (/ -1 y)))))
315.0ms	(exp (* -1/3 (+ (log (/ -1 z)) (log (/ -1 y)))))

prune3.1s

Pruning

15 alts after pruning (14 fresh and 1 done)

Merged error: 7.2b

localize33.0ms

Local error

Found 4 expressions with local error:

5.7b	(cbrt (- (* z c) (* i a)))
5.7b	(cbrt (- (* z c) (* i a)))
5.7b	(cbrt (- (* z c) (* i a)))
5.4b	(* (- (* z y) (* t a)) x)

rewrite238.0ms

Algorithm

rewrite-expression-head

Rules

59×	`add-sqr-sqrt`
41×	`*-un-lft-identity`
33×	`cbrt-prod`
27×	`associate-l`
17×	`unswap-sqr`
16×	`distribute-lft-out--` `difference-of-squares`
9×	`add-cube-cbrt`
6×	`pow1` `cbrt-div` `add-cbrt-cube` `add-exp-log`
4×	`expm1-log1p-u` `flip3--` `insert-posit16` `log1p-expm1-u` `flip--` `add-log-exp`
3×	`pow1/3` `associate-r`
2×	`associate-*l/`
1×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod`

Calls

4 calls:

Slowest

146.0ms	(* (- (* z y) (* t a)) x)
33.0ms	(cbrt (- (* z c) (* i a)))
29.0ms	(cbrt (- (* z c) (* i a)))
28.0ms	(cbrt (- (* z c) (* i a)))

series1.0s

Calls

4 calls:

Slowest

546.0ms	(cbrt (- (* z c) (* i a)))
192.0ms	(cbrt (- (* z c) (* i a)))
172.0ms	(cbrt (- (* z c) (* i a)))
95.0ms	(* (- (* z y) (* t a)) x)

simplify6.1s

Calls

66 calls:

Slowest

516.0ms	(* (* (* (- (* z y) (* t a)) (- (* z y) (* t a))) (- (* z y) (* t a))) (* (* x x) x))
421.0ms	(cbrt (- (pow (* z c) 3) (pow (* i a) 3)))
368.0ms	(cbrt (- (pow (* z c) 3) (pow (* i a) 3)))
359.0ms	(exp (* -1/3 (+ (log (/ -1 c)) (log (/ -1 z)))))
344.0ms	(cbrt (- (pow (* z c) 3) (pow (* i a) 3)))

prune2.5s

Pruning

15 alts after pruning (14 fresh and 1 done)

Merged error: 7.2b

regimes1.7s

Accuracy

20.1% (4.1b remaining)

Error of 11.2b against oracle of 7.1b and baseline of 12.2b

bsearch361.0ms

end0.0ms

sample6.3s

Algorithm

intervals

Results

5.3s

18794×

body

valid