Details

Time bar (total: 14.7s)

sample83.0ms

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

simplify903.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0912
11812
24312
38712
418112
529712
638912
745912
852112
done52112

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 47.6b

localize10.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)))

rewrite91.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:
13.0ms
(+ (* x y) z)
77.0ms
(- (fma x y z) (+ 1.0 (+ (* x y) z)))

series109.0ms

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

simplify1.8s

Counts
35 → 35
Iterations

Useful iterations: 3 (680.0ms)

IterNodesCost
065500
1176483
2564449
32547447
done5000447

prune149.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 47.0b

localize31.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)))))

rewrite51.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))
26.0ms
(- (fma x y z) (+ 1.0 (* (* (cbrt (+ (* x y) z)) (cbrt (+ (* x y) z))) (cbrt (+ (* x y) z)))))

series593.0ms

Counts
4 → 12
Calls
4 calls:
182.0ms
(cbrt (+ (* x y) z))
165.0ms
(cbrt (+ (* x y) z))
171.0ms
(cbrt (+ (* x y) z))
75.0ms
(- (fma x y z) (+ 1.0 (* (* (cbrt (+ (* x y) z)) (cbrt (+ (* x y) z))) (cbrt (+ (* x y) z)))))

simplify1.4s

Counts
67 → 67
Iterations

Useful iterations: done (1.4s)

IterNodesCost
0951308
12401261
2621916
31739835
done5000823

prune377.0ms

Pruning

16 alts after pruning (14 fresh and 2 done)

Merged error: 46.9b

localize25.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)))))

rewrite60.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:
9.0ms
(cbrt (+ (* x y) z))
12.0ms
(cbrt (+ (* x y) z))
22.0ms
(cbrt (+ (* x y) z))
15.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)))))

series529.0ms

Counts
4 → 12
Calls
4 calls:
158.0ms
(cbrt (+ (* x y) z))
168.0ms
(cbrt (+ (* x y) z))
159.0ms
(cbrt (+ (* x y) z))
44.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)))))

simplify1.6s

Counts
67 → 67
Iterations

Useful iterations: done (1.6s)

IterNodesCost
0981692
12481629
26431504
320031486
done50001474

prune497.0ms

Pruning

22 alts after pruning (21 fresh and 1 done)

Merged error: 46.9b

localize38.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)))))

rewrite56.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))
20.0ms
(cbrt (+ (* x y) z))
9.0ms
(cbrt (+ (* x y) z))
15.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)))))

series559.0ms

Counts
4 → 12
Calls
4 calls:
162.0ms
(cbrt (+ (* x y) z))
175.0ms
(cbrt (+ (* x y) z))
175.0ms
(cbrt (+ (* x y) z))
47.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)))))

simplify1.6s

Counts
67 → 67
Iterations

Useful iterations: done (1.6s)

IterNodesCost
01002076
12521997
26471840
320161822
done50011810

prune488.0ms

Pruning

23 alts after pruning (21 fresh and 2 done)

Merged error: 46.8b

regimes758.0ms

Accuracy

0% (0.7b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0912
11212
done1212

end0.0ms

sample3.0s

Algorithm
intervals
Results
991.0ms2655×body1280valid
927.0ms1572×body640valid
243.0ms621×body2560valid
183.0ms712×body320valid
126.0ms2100×body80valid
89.0ms340×body160valid