Details

Time bar (total: 10.7s)

sample58.0ms

Algorithm
intervals
Results
23.0ms86×body1280valid
11.0ms50×body640valid
7.0ms23×body2560valid
4.0ms68×body80valid
4.0ms24×body320valid
1.0ms5×body160valid

simplify295.0ms

Calls
1 calls:
Slowest
295.0ms
(- (fma x y z) (+ 1 (+ (* x y) z)))

prune13.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 45.9b

localize30.0ms

Local error

Found 2 expressions with local error:

10.8b
(- (fma x y z) (+ 1 (+ (* x y) z)))
0.0b
(+ (* x y) z)

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
4×add-sqr-sqrt *-un-lft-identity add-log-exp
2×pow1 add-cbrt-cube add-exp-log add-cube-cbrt insert-posit16
1×+-commutative sub-neg flip3-+ flip3-- diff-log flip-+ flip-- associate--r+ distribute-lft-out-- difference-of-squares
Calls
2 calls:
Slowest
14.0ms
(- (fma x y z) (+ 1 (+ (* x y) z)))
4.0ms
(+ (* x y) z)

series63.0ms

Calls
2 calls:
Slowest
40.0ms
(- (fma x y z) (+ 1 (+ (* x y) z)))
23.0ms
(+ (* x y) z)

simplify1.2s

Calls
11 calls:
Slowest
268.0ms
(- (fma x y z) (+ 1 (+ (* x y) z)))
225.0ms
(- (fma x y z) (+ z (+ 1 (* x y))))
214.0ms
(- (fma x y z) (+ z (+ 1 (* x y))))
213.0ms
(/ (exp (fma x y z)) (exp (+ 1 (+ (* x y) z))))
203.0ms
(- (fma x y z) (+ z (+ 1 (* x y))))

prune292.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 9.1b

localize12.0ms

Local error

Found 2 expressions with local error:

8.9b
(- (fma x y z) (+ z (* x y)))
0.0b
(+ z (* x y))

rewrite6.0ms

Algorithm
rewrite-expression-head
Rules
4×add-sqr-sqrt *-un-lft-identity add-log-exp
2×pow1 add-cbrt-cube add-exp-log add-cube-cbrt insert-posit16
1×+-commutative sub-neg flip3-+ flip3-- diff-log flip-+ flip-- associate--r+ distribute-lft-out-- difference-of-squares
Calls
2 calls:
Slowest
4.0ms
(- (fma x y z) (+ z (* x y)))
1.0ms
(+ z (* x y))

series58.0ms

Calls
2 calls:
Slowest
32.0ms
(- (fma x y z) (+ z (* x y)))
27.0ms
(+ z (* x y))

simplify393.0ms

Calls
11 calls:
Slowest
103.0ms
(/ (exp (fma x y z)) (exp (+ z (* x y))))
92.0ms
(- (fma x y z) (+ z (* x y)))
63.0ms
(- (fma x y z) (+ z (* x y)))
58.0ms
(- (fma x y z) (+ z (* x y)))
48.0ms
(- (fma x y z) (+ z (* x y)))

prune376.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 8.9b

localize21.0ms

Local error

Found 3 expressions with local error:

3.4b
(- (fma x y z) z)
0.5b
(log (/ (exp (- (fma x y z) z)) E))
0.0b
(/ (exp (- (fma x y z) z)) E)

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
5×add-sqr-sqrt *-un-lft-identity add-cube-cbrt associate-/l*
4×pow1 log-prod add-exp-log
3×add-cbrt-cube insert-posit16 add-log-exp
2×sub-neg exp-sum div-inv
1×log-div clear-num frac-2neg flip3-- exp-diff rem-log-exp log-pow flip-- associate-/l/
Calls
3 calls:
Slowest
16.0ms
(/ (exp (- (fma x y z) z)) E)
8.0ms
(log (/ (exp (- (fma x y z) z)) E))
7.0ms
(- (fma x y z) z)

series140.0ms

Calls
3 calls:
Slowest
70.0ms
(log (/ (exp (- (fma x y z) z)) E))
51.0ms
(/ (exp (- (fma x y z) z)) E)
19.0ms
(- (fma x y z) z)

simplify948.0ms

Calls
20 calls:
Slowest
295.0ms
(- (+ (/ (exp (fma x y z)) E) (* 1/2 (/ (* (exp (fma x y z)) (pow z 2)) E))) (/ (* (exp (fma x y z)) z) E))
79.0ms
(log (/ (exp (- (fma x y z) z)) E))
78.0ms
(log (/ (exp (- (fma x y z) z)) E))
67.0ms
(log (* (cbrt (/ (exp (- (fma x y z) z)) E)) (cbrt (/ (exp (- (fma x y z) z)) E))))
55.0ms
(- (log (/ (exp (fma x y z)) E)) z)

prune467.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 8.9b

localize22.0ms

Local error

Found 4 expressions with local error:

43.8b
(- (fma x y z) (* (* (cbrt (+ z (* x y))) (cbrt (+ z (* x y)))) (cbrt (+ z (* x y)))))
9.1b
(cbrt (+ z (* x y)))
9.1b
(cbrt (+ z (* x y)))
9.1b
(cbrt (+ z (* x y)))

rewrite7.0ms

Algorithm
rewrite-expression-head
Rules
9×cbrt-prod
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
6×cbrt-div add-log-exp
4×pow1 add-cbrt-cube add-exp-log insert-posit16
3×flip3-+ pow1/3 flip-+
1×sub-neg flip3-- diff-log flip--
Calls
4 calls:
Slowest
4.0ms
(- (fma x y z) (* (* (cbrt (+ z (* x y))) (cbrt (+ z (* x y)))) (cbrt (+ z (* x y)))))
1.0ms
(cbrt (+ z (* x y)))
1.0ms
(cbrt (+ z (* x y)))
1.0ms
(cbrt (+ z (* x y)))

series358.0ms

Calls
4 calls:
Slowest
124.0ms
(cbrt (+ z (* x y)))
105.0ms
(cbrt (+ z (* x y)))
104.0ms
(cbrt (+ z (* x y)))
25.0ms
(- (fma x y z) (* (* (cbrt (+ z (* x y))) (cbrt (+ z (* x y)))) (cbrt (+ z (* x y)))))

simplify2.2s

Calls
28 calls:
Slowest
227.0ms
(cbrt (- (* z z) (* (* x y) (* x y))))
220.0ms
(cbrt (- (* z z) (* (* x y) (* x y))))
219.0ms
(cbrt (- (* z z) (* (* x y) (* x y))))
183.0ms
(exp (* 1/3 (- (log -1) (log (/ -1 z)))))
179.0ms
(exp (* 1/3 (- (log -1) (log (/ -1 z)))))

prune797.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 8.9b

regimes93.0ms

Accuracy

0% (0.1b remaining)

Error of 7.9b against oracle of 7.7b and baseline of 7.9b

bsearch2.0ms

end0.0ms

sample2.8s

Algorithm
intervals
Results
1.1s2640×body1280valid
790.0ms1611×body640valid
344.0ms580×body2560valid
203.0ms2082×body80valid
143.0ms742×body320valid
100.0ms345×body160valid