Details

Time bar (total: 13.4s)

sample14.0ms

Algorithm
intervals
Results
6.0ms336×body80valid

simplify410.0ms

Counts
1 → 1
Iterations

Useful iterations: 2 (6.0ms)

IterNodesCost
089
1199
2458
3798
41228
51628
62138
72998
83538
93548
done3548

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize5.0ms

Local error

Found 1 expressions with local error:

0.1b
(* (fma 0.12 x 0.253) x)

rewrite7.0ms

Algorithm
rewrite-expression-head
Rules
5×add-sqr-sqrt
3×pow1 add-exp-log add-cube-cbrt *-un-lft-identity associate-*r* associate-*l* add-cbrt-cube
1×expm1-log1p-u pow-prod-down prod-exp *-commutative cbrt-unprod log1p-expm1-u add-log-exp unswap-sqr
Counts
1 → 20
Calls
1 calls:
7.0ms
(* (fma 0.12 x 0.253) x)

series66.0ms

Counts
1 → 3
Calls
1 calls:
66.0ms
(* (fma 0.12 x 0.253) x)

simplify2.5s

Counts
23 → 23
Iterations

Useful iterations: 2 (33.0ms)

IterNodesCost
039204
177198
2244168
3841168
43494168
done5001168

prune45.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize9.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt x) (cbrt x))
0.6b
(cbrt x)
0.6b
(cbrt x)
0.6b
(cbrt x)

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod
23×add-sqr-sqrt
15×add-cube-cbrt *-un-lft-identity
11×pow1
9×pow1/3
6×add-exp-log swap-sqr associate-*r* associate-*l*
4×expm1-log1p-u add-cbrt-cube 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 → 81
Calls
4 calls:
13.0ms
(* (cbrt x) (cbrt x))
1.0ms
(cbrt x)
1.0ms
(cbrt x)
1.0ms
(cbrt x)

series753.0ms

Counts
4 → 12
Calls
4 calls:
213.0ms
(* (cbrt x) (cbrt x))
184.0ms
(cbrt x)
179.0ms
(cbrt x)
176.0ms
(cbrt x)

simplify3.3s

Counts
93 → 93
Iterations

Useful iterations: done (3.3s)

IterNodesCost
065554
1119443
2327423
31104405
44523400
done5001390

prune230.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.0b

localize10.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (fma 0.12 x 0.253) (cbrt (* x x)))
0.3b
(* (* (fma 0.12 x 0.253) (cbrt (* x x))) (cbrt x))
0.6b
(cbrt x)
19.1b
(cbrt (* x x))

rewrite45.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt
11×pow1 add-exp-log
10×associate-*r*
9×cbrt-prod add-cube-cbrt *-un-lft-identity
7×add-cbrt-cube
4×expm1-log1p-u associate-*l* pow-prod-down prod-exp cbrt-unprod log1p-expm1-u add-log-exp
2×pow1/3 *-commutative unswap-sqr
Counts
4 → 69
Calls
4 calls:
10.0ms
(* (fma 0.12 x 0.253) (cbrt (* x x)))
29.0ms
(* (* (fma 0.12 x 0.253) (cbrt (* x x))) (cbrt x))
1.0ms
(cbrt x)
4.0ms
(cbrt (* x x))

series799.0ms

Counts
4 → 12
Calls
4 calls:
338.0ms
(* (fma 0.12 x 0.253) (cbrt (* x x)))
88.0ms
(* (* (fma 0.12 x 0.253) (cbrt (* x x))) (cbrt x))
189.0ms
(cbrt x)
183.0ms
(cbrt (* x x))

simplify2.2s

Counts
81 → 81
Iterations

Useful iterations: done (2.2s)

IterNodesCost
0110840
1240805
2813719
33576696
done5001690

prune214.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

localize13.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (sqrt (cbrt (* x x))) (sqrt (cbrt (* x x))))
0.6b
(cbrt x)
19.1b
(cbrt (* x x))
19.1b
(cbrt (* x x))

rewrite35.0ms

Algorithm
rewrite-expression-head
Rules
30×sqrt-prod
29×add-sqr-sqrt
19×pow1
15×cbrt-prod
14×sqrt-pow1
13×add-cube-cbrt *-un-lft-identity
9×pow1/3 swap-sqr unswap-sqr
8×pow1/2
7×associate-*r* associate-*l*
6×add-exp-log pow-prod-up add-cbrt-cube
4×expm1-log1p-u pow-prod-down pow-sqr log1p-expm1-u add-log-exp
1×pow2 pow-plus sqrt-unprod prod-exp rem-square-sqrt *-commutative cbrt-unprod
Counts
4 → 97
Calls
4 calls:
24.0ms
(* (sqrt (cbrt (* x x))) (sqrt (cbrt (* x x))))
1.0ms
(cbrt x)
3.0ms
(cbrt (* x x))
3.0ms
(cbrt (* x x))

series938.0ms

Counts
4 → 12
Calls
4 calls:
385.0ms
(* (sqrt (cbrt (* x x))) (sqrt (cbrt (* x x))))
183.0ms
(cbrt x)
186.0ms
(cbrt (* x x))
185.0ms
(cbrt (* x x))

simplify1.2s

Counts
109 → 109
Iterations

Useful iterations: done (1.2s)

IterNodesCost
0971112
1157731
2334667
3688629
41795610
done5000605

prune296.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

regimes22.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
078
188
done88

end0.0ms

sample336.0ms

Algorithm
intervals
Results
192.0ms10560×body80valid