Details

Time bar (total: 8.1s)

sample83.0ms

Algorithm
intervals
Results
30.0ms93×body1280valid
15.0ms58×body640valid
5.0ms14×body2560valid
4.0ms22×body320valid
4.0ms58×body80valid
2.0ms11×body160valid

simplify39.0ms

Counts
1 → 1

prune26.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 47.6b

localize23.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (* x y) z)
9.6b
(- (fma x y z) (+ 1.0 (+ (* x y) z)))

rewrite516.0ms

Algorithm
rewrite-expression-head
Rules
13×add-log-exp
7×*-un-lft-identity
4×add-sqr-sqrt sum-log
3×diff-log
2×pow1 add-exp-log add-cube-cbrt add-cbrt-cube distribute-lft-out--
1×+-commutative sub-neg flip3-- flip3-+ flip-- flip-+ distribute-lft-out associate--r+ difference-of-squares
Counts
2 → 29
Calls
2 calls:
418.0ms
(+ (* x y) z)
96.0ms
(- (fma x y z) (+ 1.0 (+ (* x y) z)))

series72.0ms

Counts
2 → 6
Calls
2 calls:
24.0ms
(+ (* x y) z)
48.0ms
(- (fma x y z) (+ 1.0 (+ (* x y) z)))

simplify55.0ms

Counts
35 → 35

prune121.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 47.0b

localize30.0ms

Local error

Found 4 expressions with local error:

6.7b
(cbrt (+ (* x y) z))
6.7b
(cbrt (+ (* x y) z))
6.7b
(cbrt (+ (* x y) z))
32.1b
(- (fma x y z) (+ 1.0 (* (* (cbrt (+ (* x y) z)) (cbrt (+ (* x y) z))) (cbrt (+ (* x y) z)))))

rewrite47.0ms

Algorithm
rewrite-expression-head
Rules
9×cbrt-prod add-sqr-sqrt *-un-lft-identity add-log-exp
7×add-cube-cbrt
6×cbrt-div
4×pow1 add-exp-log add-cbrt-cube
3×flip3-+ pow1/3 flip-+
2×diff-log
1×sub-neg flip3-- sum-log flip-- associate--r+ distribute-lft-out-- difference-of-squares
Counts
4 → 55
Calls
4 calls:
7.0ms
(cbrt (+ (* x y) z))
18.0ms
(cbrt (+ (* x y) z))
8.0ms
(cbrt (+ (* x y) z))
14.0ms
(- (fma x y z) (+ 1.0 (* (* (cbrt (+ (* x y) z)) (cbrt (+ (* x y) z))) (cbrt (+ (* x y) z)))))

series595.0ms

Counts
4 → 12
Calls
4 calls:
202.0ms
(cbrt (+ (* x y) z))
157.0ms
(cbrt (+ (* x y) z))
174.0ms
(cbrt (+ (* x y) z))
62.0ms
(- (fma x y z) (+ 1.0 (* (* (cbrt (+ (* x y) z)) (cbrt (+ (* x y) z))) (cbrt (+ (* x y) z)))))

simplify51.0ms

Counts
67 → 67

prune450.0ms

Pruning

19 alts after pruning (17 fresh and 2 done)

Merged error: 46.9b

localize27.0ms

Local error

Found 4 expressions with local error:

6.7b
(cbrt (+ (* x y) z))
6.7b
(cbrt (+ (* x y) z))
6.7b
(cbrt (+ (* x y) z))
32.3b
(- (fma x y z) (+ 1.0 (* (* (cbrt (+ (* x y) z)) (* (cbrt (* (cbrt (+ (* x y) z)) (cbrt (+ (* x y) z)))) (cbrt (cbrt (+ (* x y) z))))) (cbrt (+ (* x y) z)))))

rewrite47.0ms

Algorithm
rewrite-expression-head
Rules
9×cbrt-prod add-sqr-sqrt *-un-lft-identity add-log-exp
7×add-cube-cbrt
6×cbrt-div
4×pow1 add-exp-log add-cbrt-cube
3×flip3-+ pow1/3 flip-+
2×diff-log
1×sub-neg flip3-- sum-log flip-- associate--r+ distribute-lft-out-- difference-of-squares
Counts
4 → 55
Calls
4 calls:
6.0ms
(cbrt (+ (* x y) z))
6.0ms
(cbrt (+ (* x y) z))
6.0ms
(cbrt (+ (* x y) z))
29.0ms
(- (fma x y z) (+ 1.0 (* (* (cbrt (+ (* x y) z)) (* (cbrt (* (cbrt (+ (* x y) z)) (cbrt (+ (* x y) z)))) (cbrt (cbrt (+ (* x y) z))))) (cbrt (+ (* x y) z)))))

series502.0ms

Counts
4 → 12
Calls
4 calls:
147.0ms
(cbrt (+ (* x y) z))
137.0ms
(cbrt (+ (* x y) z))
160.0ms
(cbrt (+ (* x y) z))
57.0ms
(- (fma x y z) (+ 1.0 (* (* (cbrt (+ (* x y) z)) (* (cbrt (* (cbrt (+ (* x y) z)) (cbrt (+ (* x y) z)))) (cbrt (cbrt (+ (* x y) z))))) (cbrt (+ (* x y) z)))))

simplify80.0ms

Counts
67 → 67

prune625.0ms

Pruning

25 alts after pruning (24 fresh and 1 done)

Merged error: 46.9b

localize72.0ms

Local error

Found 4 expressions with local error:

6.7b
(cbrt (+ (* x y) z))
6.7b
(cbrt (+ (* x y) z))
6.7b
(cbrt (+ (* x y) z))
32.3b
(- (fma x y z) (+ 1.0 (* (* (cbrt (+ (* x y) z)) (* (cbrt (* (cbrt (+ (* x y) z)) (cbrt (+ (* x y) z)))) (cbrt (* (cbrt (* (cbrt (+ (* x y) z)) (cbrt (+ (* x y) z)))) (cbrt (cbrt (+ (* x y) z))))))) (cbrt (+ (* x y) z)))))

rewrite38.0ms

Algorithm
rewrite-expression-head
Rules
9×cbrt-prod add-sqr-sqrt *-un-lft-identity add-log-exp
7×add-cube-cbrt
6×cbrt-div
4×pow1 add-exp-log add-cbrt-cube
3×flip3-+ pow1/3 flip-+
2×diff-log
1×sub-neg flip3-- sum-log flip-- associate--r+ distribute-lft-out-- difference-of-squares
Counts
4 → 55
Calls
4 calls:
11.0ms
(cbrt (+ (* x y) z))
6.0ms
(cbrt (+ (* x y) z))
6.0ms
(cbrt (+ (* x y) z))
14.0ms
(- (fma x y z) (+ 1.0 (* (* (cbrt (+ (* x y) z)) (* (cbrt (* (cbrt (+ (* x y) z)) (cbrt (+ (* x y) z)))) (cbrt (* (cbrt (* (cbrt (+ (* x y) z)) (cbrt (+ (* x y) z)))) (cbrt (cbrt (+ (* x y) z))))))) (cbrt (+ (* x y) z)))))

series483.0ms

Counts
4 → 12
Calls
4 calls:
139.0ms
(cbrt (+ (* x y) z))
157.0ms
(cbrt (+ (* x y) z))
129.0ms
(cbrt (+ (* x y) z))
57.0ms
(- (fma x y z) (+ 1.0 (* (* (cbrt (+ (* x y) z)) (* (cbrt (* (cbrt (+ (* x y) z)) (cbrt (+ (* x y) z)))) (cbrt (* (cbrt (* (cbrt (+ (* x y) z)) (cbrt (+ (* x y) z)))) (cbrt (cbrt (+ (* x y) z))))))) (cbrt (+ (* x y) z)))))

simplify80.0ms

Counts
67 → 67

prune469.0ms

Pruning

26 alts after pruning (24 fresh and 2 done)

Merged error: 46.9b

regimes753.0ms

Accuracy

0% (0.7b remaining)

Error of 45.2b against oracle of 44.5b and baseline of 45.2b

bsearch0.0ms

simplify23.0ms

end0.0ms

sample2.7s

Algorithm
intervals
Results
1.3s2655×body1280valid
549.0ms1572×body640valid
214.0ms621×body2560valid
121.0ms2100×body80valid
102.0ms712×body320valid
36.0ms340×body160valid