Details

Time bar (total: 1.1m)

sample97.0ms

Algorithm
intervals
Results
69.0ms256×body80valid

simplify2.4s

Counts
1 → 1
Iterations
IterNodes
done5000
31993
2508
1134
044

prune40.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 24.9b

localize137.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (* x x) (+ (* 0.0694555761 (* (* x x) (* x x))) 0.7715471019))
0.4b
(* (* (* x x) 2) 0.0001789971)
12.3b
(* (/ (+ (* (* (* x x) (* x x)) (+ (* (* (* x x) (* (* x x) (* x x))) 0.0001789971) 0.0424060604)) (+ (* (* x x) (+ (* 0.0005064034 (* (* x x) (* (* x x) (* x x)))) 0.1049934947)) (+ (* 0.0072644182 (* (* x x) (* (* x x) (* x x)))) 1))) (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0140005442 (* (* x x) (+ 0.0008327945 (* (* (* x x) 2) 0.0001789971))))) (+ (* (* x x) (+ (* 0.0694555761 (* (* x x) (* x x))) 0.7715471019)) (+ 1 (* 0.2909738639 (* (* x x) (* x x))))))) x)
24.9b
(/ (+ (* (* (* x x) (* x x)) (+ (* (* (* x x) (* (* x x) (* x x))) 0.0001789971) 0.0424060604)) (+ (* (* x x) (+ (* 0.0005064034 (* (* x x) (* (* x x) (* x x)))) 0.1049934947)) (+ (* 0.0072644182 (* (* x x) (* (* x x) (* x x)))) 1))) (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0140005442 (* (* x x) (+ 0.0008327945 (* (* (* x x) 2) 0.0001789971))))) (+ (* (* x x) (+ (* 0.0694555761 (* (* x x) (* x x))) 0.7715471019)) (+ 1 (* 0.2909738639 (* (* x x) (* x x)))))))

rewrite46.8s

Algorithm
rewrite-expression-head
Rules
62×associate-*r/
60×frac-add
52×flip3-+ flip-+
29×associate-*l*
28×add-sqr-sqrt associate-/r/
25×add-cbrt-cube add-exp-log
22×*-un-lft-identity add-cube-cbrt
20×pow1
19×times-frac
14×associate-/l/
11×prod-exp cbrt-unprod
10×pow-prod-down
9×associate-*r*
4×insert-posit16 add-log-exp
3×associate-/r* *-commutative associate-/l* unswap-sqr
2×cbrt-undiv div-exp div-inv
1×distribute-rgt-in clear-num frac-2neg distribute-lft-in associate-*l/
Counts
4 → 149
Calls
4 calls:
435.0ms
(* (* x x) (+ (* 0.0694555761 (* (* x x) (* x x))) 0.7715471019))
85.0ms
(* (* (* x x) 2) 0.0001789971)
27.1s
(* (/ (+ (* (* (* x x) (* x x)) (+ (* (* (* x x) (* (* x x) (* x x))) 0.0001789971) 0.0424060604)) (+ (* (* x x) (+ (* 0.0005064034 (* (* x x) (* (* x x) (* x x)))) 0.1049934947)) (+ (* 0.0072644182 (* (* x x) (* (* x x) (* x x)))) 1))) (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0140005442 (* (* x x) (+ 0.0008327945 (* (* (* x x) 2) 0.0001789971))))) (+ (* (* x x) (+ (* 0.0694555761 (* (* x x) (* x x))) 0.7715471019)) (+ 1 (* 0.2909738639 (* (* x x) (* x x))))))) x)
19.2s
(/ (+ (* (* (* x x) (* x x)) (+ (* (* (* x x) (* (* x x) (* x x))) 0.0001789971) 0.0424060604)) (+ (* (* x x) (+ (* 0.0005064034 (* (* x x) (* (* x x) (* x x)))) 0.1049934947)) (+ (* 0.0072644182 (* (* x x) (* (* x x) (* x x)))) 1))) (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0140005442 (* (* x x) (+ 0.0008327945 (* (* (* x x) 2) 0.0001789971))))) (+ (* (* x x) (+ (* 0.0694555761 (* (* x x) (* x x))) 0.7715471019)) (+ 1 (* 0.2909738639 (* (* x x) (* x x)))))))

series1.0s

Counts
4 → 12
Calls
4 calls:
200.0ms
(* (* x x) (+ (* 0.0694555761 (* (* x x) (* x x))) 0.7715471019))
52.0ms
(* (* (* x x) 2) 0.0001789971)
400.0ms
(* (/ (+ (* (* (* x x) (* x x)) (+ (* (* (* x x) (* (* x x) (* x x))) 0.0001789971) 0.0424060604)) (+ (* (* x x) (+ (* 0.0005064034 (* (* x x) (* (* x x) (* x x)))) 0.1049934947)) (+ (* 0.0072644182 (* (* x x) (* (* x x) (* x x)))) 1))) (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0140005442 (* (* x x) (+ 0.0008327945 (* (* (* x x) 2) 0.0001789971))))) (+ (* (* x x) (+ (* 0.0694555761 (* (* x x) (* x x))) 0.7715471019)) (+ 1 (* 0.2909738639 (* (* x x) (* x x))))))) x)
362.0ms
(/ (+ (* (* (* x x) (* x x)) (+ (* (* (* x x) (* (* x x) (* x x))) 0.0001789971) 0.0424060604)) (+ (* (* x x) (+ (* 0.0005064034 (* (* x x) (* (* x x) (* x x)))) 0.1049934947)) (+ (* 0.0072644182 (* (* x x) (* (* x x) (* x x)))) 1))) (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ 0.0140005442 (* (* x x) (+ 0.0008327945 (* (* (* x x) 2) 0.0001789971))))) (+ (* (* x x) (+ (* 0.0694555761 (* (* x x) (* x x))) 0.7715471019)) (+ 1 (* 0.2909738639 (* (* x x) (* x x)))))))

simplify4.0s

Counts
161 → 161
Iterations
IterNodes
done5002
11574
0434

prune2.3s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize24.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (pow x 5) 0.265709700396151)
0.1b
(* 0.6665536072 (* x (* x x)))
0.1b
(* x (* x x))
17.6b
(- (+ (* (pow x 5) 0.265709700396151) x) (* 0.6665536072 (* x (* x x))))

rewrite216.0ms

Algorithm
rewrite-expression-head
Rules
27×pow1
23×add-exp-log
20×add-cbrt-cube
15×add-sqr-sqrt
13×associate-*l*
12×prod-exp
10×cbrt-unprod
9×*-un-lft-identity pow-prod-down add-cube-cbrt add-log-exp
5×associate-*r* pow-prod-up
4×unpow-prod-down insert-posit16 unswap-sqr
3×*-commutative
2×diff-log sqr-pow
1×pow2 pow-to-exp sum-log sub-neg pow-plus flip3-- cube-unmult pow-exp associate--l+ pow-sqr flip--
Counts
4 → 88
Calls
4 calls:
20.0ms
(* (pow x 5) 0.265709700396151)
57.0ms
(* 0.6665536072 (* x (* x x)))
23.0ms
(* x (* x x))
111.0ms
(- (+ (* (pow x 5) 0.265709700396151) x) (* 0.6665536072 (* x (* x x))))

series225.0ms

Counts
4 → 12
Calls
4 calls:
62.0ms
(* (pow x 5) 0.265709700396151)
48.0ms
(* 0.6665536072 (* x (* x x)))
41.0ms
(* x (* x x))
73.0ms
(- (+ (* (pow x 5) 0.265709700396151) x) (* 0.6665536072 (* x (* x x))))

simplify1.5s

Counts
100 → 100
Iterations
IterNodes
done5000
21097
1321
0132

prune342.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize33.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (/ 0.2514179000665375 (* x (* x x))) (/ 0.5 x))
0.1b
(* x (* x x))
0.2b
(/ 0.15298196345929327 (pow x 5))
0.3b
(/ 0.2514179000665375 (* x (* x x)))

rewrite109.0ms

Algorithm
rewrite-expression-head
Rules
25×*-un-lft-identity
24×add-sqr-sqrt times-frac
23×add-exp-log add-cube-cbrt
20×add-cbrt-cube
18×pow1
12×unpow-prod-down
8×associate-/r*
6×div-exp prod-exp cbrt-unprod associate-/l* add-log-exp
5×pow-prod-up
4×cbrt-undiv insert-posit16 sqr-pow
3×associate-*l* pow-prod-down
2×clear-num frac-2neg div-inv
1×pow2 pow-to-exp +-commutative sum-log flip3-+ pow-plus cube-unmult associate-*r* frac-add pow-exp pow-sqr *-commutative flip-+ distribute-lft-out unswap-sqr
Counts
4 → 109
Calls
4 calls:
56.0ms
(+ (/ 0.2514179000665375 (* x (* x x))) (/ 0.5 x))
26.0ms
(* x (* x x))
7.0ms
(/ 0.15298196345929327 (pow x 5))
16.0ms
(/ 0.2514179000665375 (* x (* x x)))

series339.0ms

Counts
4 → 12
Calls
4 calls:
147.0ms
(+ (/ 0.2514179000665375 (* x (* x x))) (/ 0.5 x))
69.0ms
(* x (* x x))
71.0ms
(/ 0.15298196345929327 (pow x 5))
51.0ms
(/ 0.2514179000665375 (* x (* x x)))

simplify1.4s

Counts
121 → 121
Iterations
IterNodes
done5005
21559
1402
0182

prune466.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes39.0ms

Accuracy

100% (0.0b remaining)

Error of 0.3b against oracle of 0.3b and baseline of 31.5b

bsearch1.1s

Steps
ItersRangePoint
10
1.508099977930646e-06
2590629949647.022
1.1391870338076322
10
-26711381.42537418
-6.803810524357175e-07
-1.1349577297696527

simplify9.0ms

Iterations
IterNodes
done34
134
025

end0.0ms

sample2.9s

Algorithm
intervals
Results
2.7s8000×body80valid