Details

Time bar (total: 14.7s)

sample45.0ms

Algorithm
intervals
Results
22.0ms256×body80valid

simplify842.0ms

Counts
1 → 1
Iterations
IterNodes
done5001
51678
4360
3148
262
126
013

prune15.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 4.0b

localize32.0ms

Local error

Found 3 expressions with local error:

0.0b
(fma (- y) t (* (* z 2.0) z))
0.1b
(fma (/ (* z 2.0) (fma (- y) t (* (* z 2.0) z))) (- y) x)
17.6b
(/ (* z 2.0) (fma (- y) t (* (* z 2.0) z)))

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
8×add-cbrt-cube add-exp-log
5×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
3×expm1-log1p-u pow1 associate-/r* times-frac log1p-expm1-u add-log-exp
2×cbrt-undiv div-exp fma-udef
1×clear-num frac-2neg prod-exp cbrt-unprod div-inv associate-/l*
Counts
3 → 43
Calls
3 calls:
0.0ms
(fma (- y) t (* (* z 2.0) z))
1.0ms
(fma (/ (* z 2.0) (fma (- y) t (* (* z 2.0) z))) (- y) x)
14.0ms
(/ (* z 2.0) (fma (- y) t (* (* z 2.0) z)))

series273.0ms

Counts
3 → 9
Calls
3 calls:
75.0ms
(fma (- y) t (* (* z 2.0) z))
119.0ms
(fma (/ (* z 2.0) (fma (- y) t (* (* z 2.0) z))) (- y) x)
79.0ms
(/ (* z 2.0) (fma (- y) t (* (* z 2.0) z)))

simplify883.0ms

Counts
52 → 52
Iterations
IterNodes
done5001
2848
1167
076

prune432.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 3.5b

localize36.0ms

Local error

Found 4 expressions with local error:

0.0b
(fma (- y) t (* (* z 2.0) z))
0.1b
(fma (* z (/ 2.0 (fma (- y) t (* (* z 2.0) z)))) (- y) x)
0.9b
(/ 2.0 (fma (- y) t (* (* z 2.0) z)))
16.6b
(* z (/ 2.0 (fma (- y) t (* (* z 2.0) z))))

rewrite22.0ms

Algorithm
rewrite-expression-head
Rules
25×add-sqr-sqrt
20×*-un-lft-identity add-cube-cbrt
19×times-frac
13×associate-*r*
11×add-cbrt-cube add-exp-log
6×pow1
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×associate-/r* associate-*l* associate-/l*
2×cbrt-undiv div-exp prod-exp cbrt-unprod fma-udef div-inv unswap-sqr
1×clear-num frac-2neg pow-prod-down associate-*r/ *-commutative
Counts
4 → 83
Calls
4 calls:
0.0ms
(fma (- y) t (* (* z 2.0) z))
0.0ms
(fma (* z (/ 2.0 (fma (- y) t (* (* z 2.0) z)))) (- y) x)
8.0ms
(/ 2.0 (fma (- y) t (* (* z 2.0) z)))
11.0ms
(* z (/ 2.0 (fma (- y) t (* (* z 2.0) z))))

series342.0ms

Counts
4 → 12
Calls
4 calls:
87.0ms
(fma (- y) t (* (* z 2.0) z))
111.0ms
(fma (* z (/ 2.0 (fma (- y) t (* (* z 2.0) z)))) (- y) x)
84.0ms
(/ 2.0 (fma (- y) t (* (* z 2.0) z)))
60.0ms
(* z (/ 2.0 (fma (- y) t (* (* z 2.0) z))))

simplify1.3s

Counts
95 → 95
Iterations
IterNodes
done5000
2931
1246
0114

prune695.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 3.5b

localize46.0ms

Local error

Found 4 expressions with local error:

0.1b
(fma (* (* (sqrt 2.0) z) (/ (sqrt 2.0) (fma (- y) t (* (* z 2.0) z)))) (- y) x)
0.4b
(* (sqrt 2.0) z)
1.0b
(/ (sqrt 2.0) (fma (- y) t (* (* z 2.0) z)))
16.6b
(* (* (sqrt 2.0) z) (/ (sqrt 2.0) (fma (- y) t (* (* z 2.0) z))))

rewrite84.0ms

Algorithm
rewrite-expression-head
Rules
39×add-sqr-sqrt
36×times-frac
35×*-un-lft-identity add-cube-cbrt
25×associate-*r* sqrt-prod
20×add-cbrt-cube add-exp-log
11×pow1
7×associate-*l* prod-exp cbrt-unprod
6×associate-/l*
4×expm1-log1p-u pow-prod-down log1p-expm1-u add-log-exp
3×cbrt-undiv associate-/r* div-exp
2×*-commutative div-inv unswap-sqr
1×clear-num frac-2neg associate-*r/ fma-udef
Counts
4 → 119
Calls
4 calls:
0.0ms
(fma (* (* (sqrt 2.0) z) (/ (sqrt 2.0) (fma (- y) t (* (* z 2.0) z)))) (- y) x)
15.0ms
(* (sqrt 2.0) z)
10.0ms
(/ (sqrt 2.0) (fma (- y) t (* (* z 2.0) z)))
51.0ms
(* (* (sqrt 2.0) z) (/ (sqrt 2.0) (fma (- y) t (* (* z 2.0) z))))

series662.0ms

Counts
4 → 12
Calls
4 calls:
257.0ms
(fma (* (* (sqrt 2.0) z) (/ (sqrt 2.0) (fma (- y) t (* (* z 2.0) z)))) (- y) x)
60.0ms
(* (sqrt 2.0) z)
169.0ms
(/ (sqrt 2.0) (fma (- y) t (* (* z 2.0) z)))
175.0ms
(* (* (sqrt 2.0) z) (/ (sqrt 2.0) (fma (- y) t (* (* z 2.0) z))))

simplify2.9s

Counts
131 → 131
Iterations
IterNodes
done5000
22718
1367
0149

prune854.0ms

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 3.5b

localize83.0ms

Local error

Found 4 expressions with local error:

7.1b
(cbrt (/ (* z 2.0) (fma (- y) t (* (* z 2.0) z))))
17.6b
(/ (* z 2.0) (fma (- y) t (* (* z 2.0) z)))
17.6b
(/ (* z 2.0) (fma (- y) t (* (* z 2.0) z)))
17.6b
(/ (* z 2.0) (fma (- y) t (* (* z 2.0) z)))

rewrite60.0ms

Algorithm
rewrite-expression-head
Rules
19×add-cbrt-cube add-exp-log
12×add-sqr-sqrt *-un-lft-identity times-frac add-cube-cbrt
9×associate-/r*
7×cbrt-prod
6×cbrt-undiv div-exp
4×expm1-log1p-u pow1 log1p-expm1-u div-inv add-log-exp
3×clear-num frac-2neg prod-exp cbrt-unprod associate-/l*
1×cbrt-div pow1/3
Counts
4 → 87
Calls
4 calls:
4.0ms
(cbrt (/ (* z 2.0) (fma (- y) t (* (* z 2.0) z))))
15.0ms
(/ (* z 2.0) (fma (- y) t (* (* z 2.0) z)))
15.0ms
(/ (* z 2.0) (fma (- y) t (* (* z 2.0) z)))
24.0ms
(/ (* z 2.0) (fma (- y) t (* (* z 2.0) z)))

series524.0ms

Counts
4 → 12
Calls
4 calls:
324.0ms
(cbrt (/ (* z 2.0) (fma (- y) t (* (* z 2.0) z))))
81.0ms
(/ (* z 2.0) (fma (- y) t (* (* z 2.0) z)))
65.0ms
(/ (* z 2.0) (fma (- y) t (* (* z 2.0) z)))
54.0ms
(/ (* z 2.0) (fma (- y) t (* (* z 2.0) z)))

simplify1.5s

Counts
99 → 99
Iterations
IterNodes
done5000
2854
1211
0102

prune963.0ms

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 3.5b

regimes646.0ms

Accuracy

0% (2.0b remaining)

Error of 6.4b against oracle of 4.5b and baseline of 6.4b

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
done15
115
012

end0.0ms

sample1.5s

Algorithm
intervals
Results
1.2s8000×body80valid