Details

Time bar (total: 11.7s)

sample59.0ms

Algorithm
intervals
Results
22.0ms284×body80valid
19.0ms255×body80nan

simplify910.0ms

Counts
1 → 1
Iterations
IterNodes
done2000
281954
271881
261795
251714
241628
231555
221469
211388
201302
191229
181143
171062
16976
15903
14817
13736
12667
11593
10483
9340
8246
7206
6146
591
464
343
225
113
07

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize14.0ms

Local error

Found 1 expressions with local error:

0.1b
(fma y (sqrt x) (- 1.0 x))

rewrite1.0ms

Algorithm
rewrite-expression-head
Rules
1×add-sqr-sqrt expm1-log1p-u pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt fma-udef insert-posit16 log1p-expm1-u add-log-exp
Counts
1 → 11
Calls
1 calls:
0.0ms
(fma y (sqrt x) (- 1.0 x))

series45.0ms

Counts
1 → 3
Calls
1 calls:
45.0ms
(fma y (sqrt x) (- 1.0 x))

simplify692.0ms

Counts
14 → 14
Iterations
IterNodes
done2001
41199
3285
2116
154
027

prune50.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 4 expressions with local error:

0.3b
(cbrt (fma y (sqrt x) (- 1.0 x)))
0.3b
(cbrt (fma y (sqrt x) (- 1.0 x)))
0.3b
(cbrt (fma y (sqrt x) (- 1.0 x)))
0.3b
(* (cbrt (fma y (sqrt x) (- 1.0 x))) (cbrt (fma y (sqrt x) (- 1.0 x))))

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod
23×add-sqr-sqrt
15×*-un-lft-identity add-cube-cbrt
11×pow1
9×pow1/3
6×swap-sqr associate-*r* associate-*l* add-exp-log
4×expm1-log1p-u add-cbrt-cube insert-posit16 log1p-expm1-u add-log-exp unswap-sqr
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 85
Calls
4 calls:
1.0ms
(cbrt (fma y (sqrt x) (- 1.0 x)))
1.0ms
(cbrt (fma y (sqrt x) (- 1.0 x)))
1.0ms
(cbrt (fma y (sqrt x) (- 1.0 x)))
8.0ms
(* (cbrt (fma y (sqrt x) (- 1.0 x))) (cbrt (fma y (sqrt x) (- 1.0 x))))

series886.0ms

Counts
4 → 12
Calls
4 calls:
207.0ms
(cbrt (fma y (sqrt x) (- 1.0 x)))
234.0ms
(cbrt (fma y (sqrt x) (- 1.0 x)))
204.0ms
(cbrt (fma y (sqrt x) (- 1.0 x)))
241.0ms
(* (cbrt (fma y (sqrt x) (- 1.0 x))) (cbrt (fma y (sqrt x) (- 1.0 x))))

simplify1.3s

Counts
97 → 97
Iterations
IterNodes
done2000
31728
2704
1294
0123

prune548.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

localize52.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (cbrt (* (cbrt (fma y (sqrt x) (- 1.0 x))) (cbrt (fma y (sqrt x) (- 1.0 x))))) (cbrt (* (cbrt (fma y (sqrt x) (- 1.0 x))) (cbrt (fma y (sqrt x) (- 1.0 x))))))
0.3b
(cbrt (* (cbrt (fma y (sqrt x) (- 1.0 x))) (cbrt (fma y (sqrt x) (- 1.0 x)))))
0.3b
(cbrt (* (cbrt (fma y (sqrt x) (- 1.0 x))) (cbrt (fma y (sqrt x) (- 1.0 x)))))
0.3b
(cbrt (* (cbrt (fma y (sqrt x) (- 1.0 x))) (cbrt (fma y (sqrt x) (- 1.0 x)))))

rewrite42.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt
11×cbrt-prod pow1
9×pow1/3
8×*-un-lft-identity add-cube-cbrt
6×add-exp-log
4×expm1-log1p-u add-cbrt-cube swap-sqr associate-*r* associate-*l* insert-posit16 log1p-expm1-u add-log-exp unswap-sqr
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 73
Calls
4 calls:
29.0ms
(* (cbrt (* (cbrt (fma y (sqrt x) (- 1.0 x))) (cbrt (fma y (sqrt x) (- 1.0 x))))) (cbrt (* (cbrt (fma y (sqrt x) (- 1.0 x))) (cbrt (fma y (sqrt x) (- 1.0 x))))))
4.0ms
(cbrt (* (cbrt (fma y (sqrt x) (- 1.0 x))) (cbrt (fma y (sqrt x) (- 1.0 x)))))
4.0ms
(cbrt (* (cbrt (fma y (sqrt x) (- 1.0 x))) (cbrt (fma y (sqrt x) (- 1.0 x)))))
4.0ms
(cbrt (* (cbrt (fma y (sqrt x) (- 1.0 x))) (cbrt (fma y (sqrt x) (- 1.0 x)))))

series1.1s

Counts
4 → 12
Calls
4 calls:
309.0ms
(* (cbrt (* (cbrt (fma y (sqrt x) (- 1.0 x))) (cbrt (fma y (sqrt x) (- 1.0 x))))) (cbrt (* (cbrt (fma y (sqrt x) (- 1.0 x))) (cbrt (fma y (sqrt x) (- 1.0 x))))))
257.0ms
(cbrt (* (cbrt (fma y (sqrt x) (- 1.0 x))) (cbrt (fma y (sqrt x) (- 1.0 x)))))
259.0ms
(cbrt (* (cbrt (fma y (sqrt x) (- 1.0 x))) (cbrt (fma y (sqrt x) (- 1.0 x)))))
240.0ms
(cbrt (* (cbrt (fma y (sqrt x) (- 1.0 x))) (cbrt (fma y (sqrt x) (- 1.0 x)))))

simplify1.2s

Counts
85 → 85
Iterations
IterNodes
done2000
31874
2757
1309
0124

prune554.0ms

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0.0b

localize40.0ms

Local error

Found 4 expressions with local error:

0.3b
(cbrt (fma y (sqrt x) (- 1.0 x)))
0.3b
(cbrt (fma y (sqrt x) (- 1.0 x)))
0.3b
(cbrt (fma y (sqrt x) (- 1.0 x)))
0.3b
(* (cbrt (cbrt (fma y (sqrt x) (- 1.0 x)))) (cbrt (cbrt (fma y (sqrt x) (- 1.0 x)))))

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
63×cbrt-prod
37×add-sqr-sqrt
19×*-un-lft-identity add-cube-cbrt
11×pow1
9×pow1/3 swap-sqr associate-*r* associate-*l* unswap-sqr
6×add-exp-log
4×expm1-log1p-u add-cbrt-cube insert-posit16 log1p-expm1-u add-log-exp
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 99
Calls
4 calls:
1.0ms
(cbrt (fma y (sqrt x) (- 1.0 x)))
2.0ms
(cbrt (fma y (sqrt x) (- 1.0 x)))
1.0ms
(cbrt (fma y (sqrt x) (- 1.0 x)))
20.0ms
(* (cbrt (cbrt (fma y (sqrt x) (- 1.0 x)))) (cbrt (cbrt (fma y (sqrt x) (- 1.0 x)))))

series924.0ms

Counts
4 → 12
Calls
4 calls:
211.0ms
(cbrt (fma y (sqrt x) (- 1.0 x)))
265.0ms
(cbrt (fma y (sqrt x) (- 1.0 x)))
212.0ms
(cbrt (fma y (sqrt x) (- 1.0 x)))
235.0ms
(* (cbrt (cbrt (fma y (sqrt x) (- 1.0 x)))) (cbrt (cbrt (fma y (sqrt x) (- 1.0 x)))))

simplify845.0ms

Counts
111 → 111
Iterations
IterNodes
done2000
2825
1339
0148

prune631.0ms

Pruning

6 alts after pruning (2 fresh and 4 done)

Merged error: 0.0b

regimes95.0ms

Accuracy

0% (0.0b remaining)

Error of 0.1b against oracle of 0.1b and baseline of 0.1b

bsearch0.0ms

simplify1.0ms

Iterations
IterNodes
done6
06

end0.0ms

sample1.8s

Algorithm
intervals
Results
702.0ms8559×body80valid
622.0ms8608×body80nan