Details

Time bar (total: 22.4s)

sample32.0ms

Algorithm
intervals
Results
15.0ms332×body80valid

simplify4.3s

Counts
1 → 1
Iterations
IterNodes
done5000
264790
254598
244368
234175
223940
213748
203507
193315
183080
172887
162638
152436
142190
131989
121738
111529
101276
91121
8805
7394
6210
5172
4132
391
246
119
08

prune13.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize15.0ms

Local error

Found 1 expressions with local error:

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

rewrite11.0ms

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

series77.0ms

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

simplify1.5s

Counts
25 → 25
Iterations
IterNodes
done5000
31046
2239
192
043

prune114.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

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

rewrite12.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 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:
8.0ms
(* (cbrt x) (cbrt x))
1.0ms
(cbrt x)
1.0ms
(cbrt x)
1.0ms
(cbrt x)

series1.1s

Counts
4 → 12
Calls
4 calls:
287.0ms
(* (cbrt x) (cbrt x))
277.0ms
(cbrt x)
247.0ms
(cbrt x)
325.0ms
(cbrt x)

simplify3.8s

Counts
93 → 93
Iterations
IterNodes
done5000
44108
31072
2382
1140
065

prune491.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.0b

localize37.0ms

Local error

Found 4 expressions with local error:

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

rewrite55.0ms

Algorithm
rewrite-expression-head
Rules
13×add-sqr-sqrt
11×pow1 add-exp-log
10×associate-*l*
9×cbrt-prod *-un-lft-identity add-cube-cbrt
7×add-cbrt-cube
6×fma-udef
5×distribute-rgt-in distribute-lft-in
4×expm1-log1p-u associate-*r* pow-prod-down prod-exp cbrt-unprod log1p-expm1-u add-log-exp
2×pow1/3 *-commutative unswap-sqr
Counts
4 → 75
Calls
4 calls:
27.0ms
(* (cbrt (* x x)) (* (cbrt x) (fma 0.12 x 0.253)))
20.0ms
(* (cbrt x) (fma 0.12 x 0.253))
1.0ms
(cbrt x)
5.0ms
(cbrt (* x x))

series1.2s

Counts
4 → 12
Calls
4 calls:
121.0ms
(* (cbrt (* x x)) (* (cbrt x) (fma 0.12 x 0.253)))
558.0ms
(* (cbrt x) (fma 0.12 x 0.253))
306.0ms
(cbrt x)
254.0ms
(cbrt (* x x))

simplify3.1s

Counts
87 → 87
Iterations
IterNodes
done5000
34321
2883
1286
0126

prune470.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

localize52.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (sqrt (cbrt (* x x))) (* (cbrt x) (fma 0.12 x 0.253)))
0.6b
(cbrt x)
21.2b
(cbrt (* x x))
21.2b
(cbrt (* x x))

rewrite62.0ms

Algorithm
rewrite-expression-head
Rules
9×pow1 add-exp-log
8×add-cbrt-cube
7×add-sqr-sqrt *-un-lft-identity associate-*l* add-cube-cbrt
6×cbrt-prod
4×distribute-rgt-in expm1-log1p-u distribute-lft-in sqrt-prod fma-udef log1p-expm1-u add-log-exp
3×pow1/3 pow-prod-down prod-exp cbrt-unprod
1×associate-*r* *-commutative
Counts
4 → 63
Calls
4 calls:
48.0ms
(* (sqrt (cbrt (* x x))) (* (cbrt x) (fma 0.12 x 0.253)))
1.0ms
(cbrt x)
5.0ms
(cbrt (* x x))
5.0ms
(cbrt (* x x))

series1.3s

Counts
4 → 12
Calls
4 calls:
457.0ms
(* (sqrt (cbrt (* x x))) (* (cbrt x) (fma 0.12 x 0.253)))
259.0ms
(cbrt x)
317.0ms
(cbrt (* x x))
281.0ms
(cbrt (* x x))

simplify2.8s

Counts
75 → 75
Iterations
IterNodes
done5000
33371
2754
1245
0107

prune522.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

regimes59.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations
IterNodes
done8
18
07

end0.0ms

sample1.1s

Algorithm
intervals
Results
917.0ms10583×body80valid