Details

Time bar (total: 9.7s)

sample51.0ms

Algorithm
intervals
Results
30.0ms256×body80valid

simplify1.1s

Counts
1 → 1
Iterations

Useful iterations: 3 (209.0ms)

IterNodesCost
044173
1132173
2565106
3274072
done500172

prune27.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 28.9b

localize36.0ms

Local error

Found 4 expressions with local error:

0.1b
(pow (* x x) 6)
0.4b
(* (* x x) 0.0008327945)
0.4b
(* (* x x) 0.0001789971)
28.4b
(/ (* (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (fma 0.0072644182 (pow x 6) (fma (pow x 4) 0.0424060604 (fma (* x x) 0.1049934947 1.0)))) x) (fma 0.0001789971 (* 2.0 (pow (* x x) 6)) (+ (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)) (fma (pow x 6) 0.0694555761 (* (pow (* x x) 4) (+ (* (* x x) 0.0008327945) 0.0140005442))))))

rewrite30.0ms

Algorithm
rewrite-expression-head
Rules
22×pow1 add-exp-log
19×add-cbrt-cube
11×add-sqr-sqrt
9×add-cube-cbrt *-un-lft-identity
8×prod-exp
7×pow-prod-down cbrt-unprod
6×pow-pow associate-*r*
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×pow-unpow times-frac associate-/r*
2×cbrt-undiv div-exp associate-*l* associate-*l/ pow-exp *-commutative associate-/l/ unswap-sqr
1×pow2 pow-to-exp unpow-prod-down frac-2neg flip3-+ pow-plus clear-num pow-sqr pow-prod-up flip-+ div-inv associate-/l* sqr-pow
Counts
4 → 90
Calls
4 calls:
2.0ms
(pow (* x x) 6)
7.0ms
(* (* x x) 0.0008327945)
7.0ms
(* (* x x) 0.0001789971)
10.0ms
(/ (* (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (fma 0.0072644182 (pow x 6) (fma (pow x 4) 0.0424060604 (fma (* x x) 0.1049934947 1.0)))) x) (fma 0.0001789971 (* 2.0 (pow (* x x) 6)) (+ (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)) (fma (pow x 6) 0.0694555761 (* (pow (* x x) 4) (+ (* (* x x) 0.0008327945) 0.0140005442))))))

series378.0ms

Counts
4 → 12
Calls
4 calls:
58.0ms
(pow (* x x) 6)
24.0ms
(* (* x x) 0.0008327945)
25.0ms
(* (* x x) 0.0001789971)
270.0ms
(/ (* (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (fma 0.0072644182 (pow x 6) (fma (pow x 4) 0.0424060604 (fma (* x x) 0.1049934947 1.0)))) x) (fma 0.0001789971 (* 2.0 (pow (* x x) 6)) (+ (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)) (fma (pow x 6) 0.0694555761 (* (pow (* x x) 4) (+ (* (* x x) 0.0008327945) 0.0140005442))))))

simplify1.1s

Counts
102 → 102
Iterations

Useful iterations: 2 (193.0ms)

IterNodesCost
01963026
14982870
222752280
done50002280

prune669.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize41.0ms

Local error

Found 4 expressions with local error:

0.1b
(pow (* x x) 6)
0.3b
(fma (pow x 2) 0.0001789971 0.0005064034)
0.4b
(* (* x x) 0.0008327945)
28.4b
(/ (* (fma (fma (pow x 2) 0.0001789971 0.0005064034) (pow (* x x) 4) (fma 0.0072644182 (pow x 6) (fma (pow x 4) 0.0424060604 (fma (* x x) 0.1049934947 1.0)))) x) (fma 0.0001789971 (* 2.0 (pow (* x x) 6)) (+ (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)) (fma (pow x 6) 0.0694555761 (* (pow (* x x) 4) (+ (* (* x x) 0.0008327945) 0.0140005442))))))

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
17×pow1 add-exp-log
14×add-cbrt-cube
9×add-sqr-sqrt
8×add-cube-cbrt *-un-lft-identity
6×pow-pow
5×prod-exp
4×expm1-log1p-u pow-prod-down cbrt-unprod log1p-expm1-u add-log-exp
3×pow-unpow times-frac associate-*r* associate-/r*
2×cbrt-undiv div-exp pow-exp
1×pow2 pow-to-exp unpow-prod-down frac-2neg pow-plus associate-*l* clear-num pow-sqr *-commutative pow-prod-up fma-udef div-inv associate-/l* unswap-sqr sqr-pow
Counts
4 → 77
Calls
4 calls:
2.0ms
(pow (* x x) 6)
0.0ms
(fma (pow x 2) 0.0001789971 0.0005064034)
7.0ms
(* (* x x) 0.0008327945)
3.0ms
(/ (* (fma (fma (pow x 2) 0.0001789971 0.0005064034) (pow (* x x) 4) (fma 0.0072644182 (pow x 6) (fma (pow x 4) 0.0424060604 (fma (* x x) 0.1049934947 1.0)))) x) (fma 0.0001789971 (* 2.0 (pow (* x x) 6)) (+ (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)) (fma (pow x 6) 0.0694555761 (* (pow (* x x) 4) (+ (* (* x x) 0.0008327945) 0.0140005442))))))

series389.0ms

Counts
4 → 12
Calls
4 calls:
58.0ms
(pow (* x x) 6)
54.0ms
(fma (pow x 2) 0.0001789971 0.0005064034)
24.0ms
(* (* x x) 0.0008327945)
253.0ms
(/ (* (fma (fma (pow x 2) 0.0001789971 0.0005064034) (pow (* x x) 4) (fma 0.0072644182 (pow x 6) (fma (pow x 4) 0.0424060604 (fma (* x x) 0.1049934947 1.0)))) x) (fma 0.0001789971 (* 2.0 (pow (* x x) 6)) (+ (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)) (fma (pow x 6) 0.0694555761 (* (pow (* x x) 4) (+ (* (* x x) 0.0008327945) 0.0140005442))))))

simplify758.0ms

Counts
89 → 89
Iterations

Useful iterations: 2 (163.0ms)

IterNodesCost
01742701
14002605
217422065
done50002065

prune577.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize40.0ms

Local error

Found 4 expressions with local error:

0.1b
(pow (* x x) 6)
0.4b
(* (* x x) 0.0008327945)
0.4b
(* 0.0001789971 (pow x 2))
28.4b
(/ (* (fma (+ (* 0.0001789971 (pow x 2)) 0.0005064034) (pow (* x x) 4) (fma 0.0072644182 (pow x 6) (fma (pow x 4) 0.0424060604 (fma (* x x) 0.1049934947 1.0)))) x) (fma 0.0001789971 (* 2.0 (pow (* x x) 6)) (+ (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)) (fma (pow x 6) 0.0694555761 (* (pow (* x x) 4) (+ (* (* x x) 0.0008327945) 0.0140005442))))))

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
22×add-exp-log
18×add-sqr-sqrt
17×pow1
16×add-cbrt-cube
11×add-cube-cbrt *-un-lft-identity associate-*r*
8×prod-exp
6×pow-pow
5×unpow-prod-down cbrt-unprod unswap-sqr
4×expm1-log1p-u associate-*l* pow-prod-down log1p-expm1-u add-log-exp
3×pow-unpow times-frac pow-exp associate-/r* sqr-pow
2×cbrt-undiv pow-to-exp div-exp *-commutative unpow2
1×pow2 frac-2neg pow-plus clear-num pow-sqr pow-prod-up div-inv associate-/l*
Counts
4 → 96
Calls
4 calls:
2.0ms
(pow (* x x) 6)
7.0ms
(* (* x x) 0.0008327945)
8.0ms
(* 0.0001789971 (pow x 2))
3.0ms
(/ (* (fma (+ (* 0.0001789971 (pow x 2)) 0.0005064034) (pow (* x x) 4) (fma 0.0072644182 (pow x 6) (fma (pow x 4) 0.0424060604 (fma (* x x) 0.1049934947 1.0)))) x) (fma 0.0001789971 (* 2.0 (pow (* x x) 6)) (+ (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)) (fma (pow x 6) 0.0694555761 (* (pow (* x x) 4) (+ (* (* x x) 0.0008327945) 0.0140005442))))))

series373.0ms

Counts
4 → 12
Calls
4 calls:
59.0ms
(pow (* x x) 6)
25.0ms
(* (* x x) 0.0008327945)
25.0ms
(* 0.0001789971 (pow x 2))
264.0ms
(/ (* (fma (+ (* 0.0001789971 (pow x 2)) 0.0005064034) (pow (* x x) 4) (fma 0.0072644182 (pow x 6) (fma (pow x 4) 0.0424060604 (fma (* x x) 0.1049934947 1.0)))) x) (fma 0.0001789971 (* 2.0 (pow (* x x) 6)) (+ (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)) (fma (pow x 6) 0.0694555761 (* (pow (* x x) 4) (+ (* (* x x) 0.0008327945) 0.0140005442))))))

simplify1.0s

Counts
108 → 108
Iterations

Useful iterations: 2 (202.0ms)

IterNodesCost
02092863
14802717
221292158
done50002158

prune675.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b
(fma 1.0 x (* 0.265709700396151 (pow x 5)))
0.0b
(* 0.265709700396151 (pow x 5))
0.1b
(* 0.6665536072 (pow x 3))
18.9b
(- (fma 1.0 x (* 0.265709700396151 (pow x 5))) (* 0.6665536072 (pow x 3)))

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
25×add-sqr-sqrt
19×associate-*r*
14×add-exp-log
13×add-cube-cbrt *-un-lft-identity
8×unpow-prod-down add-cbrt-cube
7×unswap-sqr
6×associate-*l* prod-exp add-log-exp
4×pow1 expm1-log1p-u cube-prod log1p-expm1-u sqr-pow
3×fma-neg prod-diff
2×pow-to-exp pow-exp *-commutative cbrt-unprod fma-udef
1×cube-mult sub-neg flip3-- diff-log unpow3 associate--l+ flip--
Counts
4 → 91
Calls
4 calls:
0.0ms
(fma 1.0 x (* 0.265709700396151 (pow x 5)))
5.0ms
(* 0.265709700396151 (pow x 5))
7.0ms
(* 0.6665536072 (pow x 3))
3.0ms
(- (fma 1.0 x (* 0.265709700396151 (pow x 5))) (* 0.6665536072 (pow x 3)))

series272.0ms

Counts
4 → 12
Calls
4 calls:
122.0ms
(fma 1.0 x (* 0.265709700396151 (pow x 5)))
47.0ms
(* 0.265709700396151 (pow x 5))
41.0ms
(* 0.6665536072 (pow x 3))
62.0ms
(- (fma 1.0 x (* 0.265709700396151 (pow x 5))) (* 0.6665536072 (pow x 3)))

simplify615.0ms

Counts
103 → 103
Iterations

Useful iterations: 2 (116.0ms)

IterNodesCost
01421142
13161046
21181968
done5000968

prune246.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

regimes38.0ms

Accuracy

100% (0.0b remaining)

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

bsearch371.0ms

Steps
ItersRangePoint
7
25.411711264148785
868.4016055832647
653.871278443653
10
-155084744.97222546
-0.0009113054925467739
-106772652.36979772

simplify5.0ms

Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
058109
17295
done7295

end0.0ms

sample835.0ms

Algorithm
intervals
Results
733.0ms8000×body80valid