Details

Time bar (total: 12.7s)

sample48.0ms

Algorithm
intervals
Results
17.0ms94×body1280valid
8.0ms50×body640valid
4.0ms18×body2560valid
3.0ms66×body80valid
2.0ms22×body320valid
1.0ms6×body160valid

simplify397.0ms

Counts
1 → 1

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 45.5b

localize40.0ms

Local error

Found 2 expressions with local error:

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

rewrite80.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:
24.0ms
(+ (* x y) z)
54.0ms
(- (fma x y z) (+ 1.0 (+ (* x y) z)))

series89.0ms

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

simplify1.1s

Counts
35 → 35

prune134.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 45.0b

localize17.0ms

Local error

Found 4 expressions with local error:

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

rewrite65.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:
12.0ms
(cbrt (+ (* x y) z))
20.0ms
(cbrt (+ (* x y) z))
12.0ms
(cbrt (+ (* x y) z))
18.0ms
(- (fma x y z) (+ 1.0 (* (* (cbrt (+ (* x y) z)) (cbrt (+ (* x y) z))) (cbrt (+ (* x y) z)))))

series566.0ms

Counts
4 → 12
Calls
4 calls:
188.0ms
(cbrt (+ (* x y) z))
162.0ms
(cbrt (+ (* x y) z))
142.0ms
(cbrt (+ (* x y) z))
73.0ms
(- (fma x y z) (+ 1.0 (* (* (cbrt (+ (* x y) z)) (cbrt (+ (* x y) z))) (cbrt (+ (* x y) z)))))

simplify1.1s

Counts
67 → 67

prune411.0ms

Pruning

20 alts after pruning (18 fresh and 2 done)

Merged error: 44.9b

localize58.0ms

Local error

Found 4 expressions with local error:

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

rewrite98.0ms

Algorithm
rewrite-expression-head
Rules
19×add-log-exp
11×add-sqr-sqrt *-un-lft-identity
6×diff-log
5×add-cube-cbrt
4×pow1 add-exp-log add-cbrt-cube
3×cbrt-prod sub-neg flip3-- sum-log flip-- associate--r+ distribute-lft-out-- difference-of-squares
2×cbrt-div
1×flip3-+ pow1/3 flip-+
Counts
4 → 61
Calls
4 calls:
14.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)))))
27.0ms
(- (fma x y z) (+ 1.0 (* (* (cbrt (+ (* x y) z)) (cbrt (+ (* x y) z))) (cbrt (+ (* x y) z)))))
28.0ms
(- (fma x y z) (+ 1.0 (* (* (cbrt (+ (* x y) z)) (cbrt (+ (* x y) z))) (cbrt (+ (* x y) z)))))

series391.0ms

Counts
4 → 12
Calls
4 calls:
205.0ms
(cbrt (+ (* x y) z))
59.0ms
(- (fma x y z) (+ 1.0 (* (* (cbrt (+ (* x y) z)) (cbrt (+ (* x y) z))) (cbrt (+ (* x y) z)))))
73.0ms
(- (fma x y z) (+ 1.0 (* (* (cbrt (+ (* x y) z)) (cbrt (+ (* x y) z))) (cbrt (+ (* x y) z)))))
53.0ms
(- (fma x y z) (+ 1.0 (* (* (cbrt (+ (* x y) z)) (cbrt (+ (* x y) z))) (cbrt (+ (* x y) z)))))

simplify1.1s

Counts
73 → 73

prune556.0ms

Pruning

20 alts after pruning (18 fresh and 2 done)

Merged error: 44.9b

localize35.0ms

Local error

Found 4 expressions with local error:

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

rewrite50.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:
19.0ms
(cbrt (+ (* x y) z))
7.0ms
(cbrt (+ (* x y) z))
6.0ms
(cbrt (+ (* x y) z))
15.0ms
(- (fma x y z) (+ 1.0 (* (* (cbrt (+ (* x y) z)) (cbrt (+ (* x y) z))) (* (cbrt (* (cbrt (+ (* x y) z)) (cbrt (+ (* x y) z)))) (cbrt (cbrt (+ (* x y) z)))))))

series571.0ms

Counts
4 → 12
Calls
4 calls:
168.0ms
(cbrt (+ (* x y) z))
184.0ms
(cbrt (+ (* x y) z))
147.0ms
(cbrt (+ (* x y) z))
72.0ms
(- (fma x y z) (+ 1.0 (* (* (cbrt (+ (* x y) z)) (cbrt (+ (* x y) z))) (* (cbrt (* (cbrt (+ (* x y) z)) (cbrt (+ (* x y) z)))) (cbrt (cbrt (+ (* x y) z)))))))

simplify1.3s

Counts
67 → 67

prune485.0ms

Pruning

26 alts after pruning (24 fresh and 2 done)

Merged error: 44.9b

regimes755.0ms

Accuracy

0% (0.7b remaining)

Error of 45.1b against oracle of 44.4b and baseline of 45.1b

bsearch0.0ms

simplify372.0ms

end0.0ms

sample2.8s

Algorithm
intervals
Results
1.3s2635×body1280valid
421.0ms1583×body640valid
242.0ms588×body2560valid
190.0ms2112×body80valid
184.0ms766×body320valid
36.0ms316×body160valid