Details

Time bar (total: 42.0s)

sample351.0ms

Algorithm
intervals
Results
237.0ms1829×body80nan
51.0ms256×body80valid

simplify488.0ms

Calls
1 calls:
Slowest
488.0ms
(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))

prune33.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.3b

localize43.0ms

Local error

Found 2 expressions with local error:

0.4b
(fma (- a 0.5) (log t) (log z))
0.2b
(+ (- (log (+ y x)) t) (fma (- a 0.5) (log t) (log z)))

rewrite48.0ms

Algorithm
rewrite-expression-head
Rules
23×*-un-lft-identity
18×associate-+l+
13×add-sqr-sqrt
12×prod-diff
11×add-cube-cbrt
7×pow1
6×fma-def add-log-exp
5×log-pow
4×log-prod associate--l+ distribute-lft-out distribute-lft-out--
2×expm1-log1p-u sum-log add-cbrt-cube add-exp-log fma-udef insert-posit16 log1p-expm1-u
1×+-commutative associate-+r+ sub-neg flip3-+ diff-log associate-+l- flip-+ difference-of-squares
Calls
2 calls:
Slowest
46.0ms
(+ (- (log (+ y x)) t) (fma (- a 0.5) (log t) (log z)))
0.0ms
(fma (- a 0.5) (log t) (log z))

series294.0ms

Calls
2 calls:
Slowest
189.0ms
(+ (- (log (+ y x)) t) (fma (- a 0.5) (log t) (log z)))
104.0ms
(fma (- a 0.5) (log t) (log z))

simplify3.8s

Calls
34 calls:
Slowest
482.0ms
(* (exp (- (log (+ y x)) t)) (exp (fma (- a 0.5) (log t) (log z))))
456.0ms
(- (+ (* 0.5 (log (/ -1 t))) (+ (* a (log -1)) (* 0.5 (log -1)))) (+ (* a (log (/ -1 t))) (log (/ -1 z))))
397.0ms
(- (* 0.5 (log (/ 1 t))) (+ t (+ (log (/ 1 z)) (+ (* a (log (/ 1 t))) (log (/ 1 y))))))
302.0ms
(+ (- (log (+ y x)) t) (fma (- a 0.5) (log t) (log z)))
295.0ms
(- (* 0.5 (log (/ 1 t))) (+ (log (/ 1 z)) (* a (log (/ 1 t)))))

prune919.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.1b

localize64.0ms

Local error

Found 4 expressions with local error:

61.0b
(fma (- (cbrt t)) (* (cbrt t) (cbrt t)) (* (cbrt t) (* (cbrt t) (cbrt t))))
0.6b
(cbrt t)
0.6b
(cbrt t)
0.6b
(cbrt t)

rewrite6.0ms

Algorithm
rewrite-expression-head
Rules
9×cbrt-prod
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×expm1-log1p-u pow1 add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u add-log-exp
3×pow1/3
1×fma-udef
Calls
4 calls:
Slowest
2.0ms
(cbrt t)
1.0ms
(cbrt t)
1.0ms
(cbrt t)
1.0ms
(fma (- (cbrt t)) (* (cbrt t) (cbrt t)) (* (cbrt t) (* (cbrt t) (cbrt t))))

series1.7s

Calls
4 calls:
Slowest
793.0ms
(fma (- (cbrt t)) (* (cbrt t) (cbrt t)) (* (cbrt t) (* (cbrt t) (cbrt t))))
318.0ms
(cbrt t)
298.0ms
(cbrt t)
276.0ms
(cbrt t)

simplify548.0ms

Calls
21 calls:
Slowest
142.0ms
(* (pow (* t -1) 1/3) (cbrt -1))
142.0ms
(* (pow (* t -1) 1/3) (cbrt -1))
120.0ms
(* (pow (* t -1) 1/3) (cbrt -1))
35.0ms
(pow (/ 1 t) -1/3)
30.0ms
(pow (/ 1 t) -1/3)

prune1.4s

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0.1b

localize52.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (+ y x))
0.5b
(cbrt (+ y x))
0.5b
(cbrt (+ y x))
0.5b
(* (cbrt (+ y x)) (cbrt (+ y x)))

rewrite50.0ms

Algorithm
rewrite-expression-head
Rules
36×cbrt-prod
35×*-un-lft-identity
23×add-sqr-sqrt
18×cbrt-div
15×add-cube-cbrt
11×pow1
9×flip3-+ pow1/3 swap-sqr flip-+ distribute-lft-out
7×associate-*r* associate-*l*
6×add-exp-log
4×expm1-log1p-u frac-times add-cbrt-cube insert-posit16 log1p-expm1-u add-log-exp unswap-sqr
2×pow-prod-down associate-*l/ associate-*r/ pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Calls
4 calls:
Slowest
32.0ms
(* (cbrt (+ y x)) (cbrt (+ y x)))
6.0ms
(cbrt (+ y x))
5.0ms
(cbrt (+ y x))
5.0ms
(cbrt (+ y x))

series723.0ms

Calls
4 calls:
Slowest
221.0ms
(* (cbrt (+ y x)) (cbrt (+ y x)))
172.0ms
(cbrt (+ y x))
169.0ms
(cbrt (+ y x))
161.0ms
(cbrt (+ y x))

simplify4.6s

Calls
94 calls:
Slowest
461.0ms
(- (+ (* 2/3 (* (pow (/ 1 x) 1/3) y)) (pow x 2/3)) (* 1/9 (* (pow (/ 1 (pow x 4)) 1/3) (pow y 2))))
316.0ms
(* (cbrt (+ (pow y 3) (pow x 3))) (cbrt (+ y x)))
305.0ms
(* (cbrt (+ (pow y 3) (pow x 3))) (cbrt (+ (pow y 3) (pow x 3))))
200.0ms
(* (cbrt (- (* y y) (* x x))) (cbrt (+ y x)))
197.0ms
(- (+ (pow x 1/3) (* 1/3 (* (pow (/ 1 (pow x 2)) 1/3) y))) (* 1/9 (* (pow (/ 1 (pow x 5)) 1/3) (pow y 2))))

prune2.3s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.1b

localize94.0ms

Local error

Found 4 expressions with local error:

6.0b
(pow (+ y x) 2/3)
0.5b
(cbrt (+ y x))
0.4b
(fma (- a 0.5) (log t) (log z))
0.2b
(+ (log (pow (+ y x) 2/3)) (+ (- (log (cbrt (+ y x))) t) (fma (- a 0.5) (log t) (log z))))

rewrite127.0ms

Algorithm
rewrite-expression-head
Rules
28×*-un-lft-identity
10×add-sqr-sqrt add-cube-cbrt distribute-lft-out
9×add-log-exp
8×associate-+l+ log-prod unpow-prod-down
6×pow1
5×sum-log add-exp-log
4×cbrt-prod expm1-log1p-u fma-def add-cbrt-cube insert-posit16 log1p-expm1-u
3×pow-unpow
2×cbrt-div flip3-+ log-pow flip-+ distribute-lft-out-- sqr-pow
1×pow-to-exp +-commutative associate-+r+ associate-+r- pow-pow pow1/3 diff-log pow-exp associate-+l- fma-udef
Calls
4 calls:
Slowest
108.0ms
(+ (log (pow (+ y x) 2/3)) (+ (- (log (cbrt (+ y x))) t) (fma (- a 0.5) (log t) (log z))))
12.0ms
(pow (+ y x) 2/3)
5.0ms
(cbrt (+ y x))
0.0ms
(fma (- a 0.5) (log t) (log z))

series905.0ms

Calls
4 calls:
Slowest
414.0ms
(+ (log (pow (+ y x) 2/3)) (+ (- (log (cbrt (+ y x))) t) (fma (- a 0.5) (log t) (log z))))
207.0ms
(pow (+ y x) 2/3)
176.0ms
(cbrt (+ y x))
107.0ms
(fma (- a 0.5) (log t) (log z))

simplify7.0s

Calls
45 calls:
Slowest
677.0ms
(+ (log (pow (+ y x) 2/3)) (+ (- (log (cbrt (+ y x))) t) (fma (- a 0.5) (log t) (log z))))
671.0ms
(exp (* 2/3 (- (log -1) (log (/ -1 y)))))
525.0ms
(* (pow (+ y x) 2/3) (* (/ (cbrt (+ y x)) (exp t)) (exp (fma (- a 0.5) (log t) (log z)))))
507.0ms
(- (+ (* 0.5 (log (/ -1 t))) (+ (* a (log -1)) (* 0.5 (log -1)))) (+ (* a (log (/ -1 t))) (log (/ -1 z))))
406.0ms
(- (+ (* 2/3 (* (pow (/ 1 x) 1/3) y)) (pow x 2/3)) (* 1/9 (* (pow (/ 1 (pow x 4)) 1/3) (pow y 2))))

prune1.8s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.1b

regimes1.0s

Accuracy

0% (0.2b remaining)

Error of 0.3b against oracle of 0.1b and baseline of 0.3b

bsearch3.0ms

end0.0ms

sample13.7s

Algorithm
intervals
Results
10.5s56530×body80nan
1.5s8039×body80valid