Details

Time bar (total: 3.2m)

sample160.0ms

Algorithm
intervals
Results
115.0ms256×body80valid

simplify4.7s

Counts
1 → 1
Iterations
IterNodes
48449
31993
2508
1134
044

prune50.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 31.4b

localize121.0ms

Local error

Found 4 expressions with local error:

0.8b
(* 0.0008327945 (* x x))
0.8b
(* (* x x) 0.0001789971)
17.1b
(* (/ (+ (+ (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971))))) 1) (* (* x x) (+ (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947))) (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0001789971 (* 2 (* (* x x) (* x x)))) (+ 0.0140005442 (* 0.0008327945 (* x x))))) (+ (* (* x x) (+ 0.7715471019 (* 0.0694555761 (* (* x x) (* x x))))) (+ 1 (* 0.2909738639 (* (* x x) (* x x))))))) x)
31.3b
(/ (+ (+ (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971))))) 1) (* (* x x) (+ (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947))) (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0001789971 (* 2 (* (* x x) (* x x)))) (+ 0.0140005442 (* 0.0008327945 (* x x))))) (+ (* (* x x) (+ 0.7715471019 (* 0.0694555761 (* (* x x) (* x x))))) (+ 1 (* 0.2909738639 (* (* x x) (* x x)))))))

rewrite8.0s

Algorithm
rewrite-expression-head
Rules
44×frac-add associate-*r/
39×flip3-+ flip-+
31×associate-*l*
29×add-sqr-sqrt
28×associate-/r/
22×*-un-lft-identity add-cube-cbrt
21×add-cbrt-cube add-exp-log
19×times-frac
16×pow1
8×prod-exp cbrt-unprod
7×associate-*r* pow-prod-down
6×associate-/l/
4×insert-posit16 add-log-exp unswap-sqr
3×associate-/r* *-commutative associate-/l*
2×cbrt-undiv div-exp div-inv
1×clear-num frac-2neg associate-*l/
Counts
4 → 135
Calls
4 calls:
29.0ms
(* 0.0008327945 (* x x))
30.0ms
(* (* x x) 0.0001789971)
4.9s
(* (/ (+ (+ (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971))))) 1) (* (* x x) (+ (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947))) (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0001789971 (* 2 (* (* x x) (* x x)))) (+ 0.0140005442 (* 0.0008327945 (* x x))))) (+ (* (* x x) (+ 0.7715471019 (* 0.0694555761 (* (* x x) (* x x))))) (+ 1 (* 0.2909738639 (* (* x x) (* x x))))))) x)
3.0s
(/ (+ (+ (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971))))) 1) (* (* x x) (+ (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947))) (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0001789971 (* 2 (* (* x x) (* x x)))) (+ 0.0140005442 (* 0.0008327945 (* x x))))) (+ (* (* x x) (+ 0.7715471019 (* 0.0694555761 (* (* x x) (* x x))))) (+ 1 (* 0.2909738639 (* (* x x) (* x x)))))))

series889.0ms

Counts
4 → 12
Calls
4 calls:
47.0ms
(* 0.0008327945 (* x x))
50.0ms
(* (* x x) 0.0001789971)
406.0ms
(* (/ (+ (+ (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971))))) 1) (* (* x x) (+ (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947))) (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0001789971 (* 2 (* (* x x) (* x x)))) (+ 0.0140005442 (* 0.0008327945 (* x x))))) (+ (* (* x x) (+ 0.7715471019 (* 0.0694555761 (* (* x x) (* x x))))) (+ 1 (* 0.2909738639 (* (* x x) (* x x))))))) x)
386.0ms
(/ (+ (+ (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971))))) 1) (* (* x x) (+ (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947))) (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0001789971 (* 2 (* (* x x) (* x x)))) (+ 0.0140005442 (* 0.0008327945 (* x x))))) (+ (* (* x x) (+ 0.7715471019 (* 0.0694555761 (* (* x x) (* x x))))) (+ 1 (* 0.2909738639 (* (* x x) (* x x)))))))

simplify5.3s

Counts
147 → 147
Iterations
IterNodes
26690
11328
0382

prune4.1s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0b

localize37.0ms

Local error

Found 4 expressions with local error:

0.1b
(* x (* x x))
0.1b
(* (* x x) (* x x))
0.2b
(/ 0.15298196345929327 (* x (* (* x x) (* x x))))
0.2b
(/ 0.2514179000665375 (* x (* x x)))

rewrite137.0ms

Algorithm
rewrite-expression-head
Rules
129×pow1
55×add-cbrt-cube add-exp-log
41×pow-prod-up
27×prod-exp cbrt-unprod
26×pow-prod-down
23×pow-sqr
19×pow-plus
14×pow2
10×add-sqr-sqrt
9×cbrt-undiv *-un-lft-identity div-exp add-cube-cbrt
6×times-frac associate-/l*
4×associate-*l* insert-posit16 add-log-exp
2×clear-num associate-/r* frac-2neg associate-*r* *-commutative div-inv unswap-sqr
1×cube-unmult swap-sqr
Counts
4 → 143
Calls
4 calls:
15.0ms
(* x (* x x))
35.0ms
(* (* x x) (* x x))
70.0ms
(/ 0.15298196345929327 (* x (* (* x x) (* x x))))
13.0ms
(/ 0.2514179000665375 (* x (* x x)))

series209.0ms

Counts
4 → 12
Calls
4 calls:
49.0ms
(* x (* x x))
35.0ms
(* (* x x) (* x x))
71.0ms
(/ 0.15298196345929327 (* x (* (* x x) (* x x))))
54.0ms
(/ 0.2514179000665375 (* x (* x x)))

simplify2.0s

Counts
155 → 155
Iterations
IterNodes
34564
21054
1388
0159

prune1.5s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize206.0ms

Local error

Found 4 expressions with local error:

2.3b
(sqrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0001789971 (* 2 (* (* x x) (* x x)))) (+ 0.0140005442 (* 0.0008327945 (* x x))))) (+ (* (* x x) (+ 0.7715471019 (* 0.0694555761 (* (* x x) (* x x))))) (+ 1 (* 0.2909738639 (* (* x x) (* x x)))))))
17.1b
(* (* (/ 1 (sqrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0001789971 (* 2 (* (* x x) (* x x)))) (+ 0.0140005442 (* 0.0008327945 (* x x))))) (+ (* (* x x) (+ 0.7715471019 (* 0.0694555761 (* (* x x) (* x x))))) (+ 1 (* 0.2909738639 (* (* x x) (* x x)))))))) (/ (+ (+ (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971))))) 1) (* (* x x) (+ (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947))) (sqrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0001789971 (* 2 (* (* x x) (* x x)))) (+ 0.0140005442 (* 0.0008327945 (* x x))))) (+ (* (* x x) (+ 0.7715471019 (* 0.0694555761 (* (* x x) (* x x))))) (+ 1 (* 0.2909738639 (* (* x x) (* x x))))))))) x)
25.7b
(/ (+ (+ (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971))))) 1) (* (* x x) (+ (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947))) (sqrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0001789971 (* 2 (* (* x x) (* x x)))) (+ 0.0140005442 (* 0.0008327945 (* x x))))) (+ (* (* x x) (+ 0.7715471019 (* 0.0694555761 (* (* x x) (* x x))))) (+ 1 (* 0.2909738639 (* (* x x) (* x x))))))))
28.7b
(* (/ 1 (sqrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0001789971 (* 2 (* (* x x) (* x x)))) (+ 0.0140005442 (* 0.0008327945 (* x x))))) (+ (* (* x x) (+ 0.7715471019 (* 0.0694555761 (* (* x x) (* x x))))) (+ 1 (* 0.2909738639 (* (* x x) (* x x)))))))) (/ (+ (+ (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971))))) 1) (* (* x x) (+ (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947))) (sqrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0001789971 (* 2 (* (* x x) (* x x)))) (+ 0.0140005442 (* 0.0008327945 (* x x))))) (+ (* (* x x) (+ 0.7715471019 (* 0.0694555761 (* (* x x) (* x x))))) (+ 1 (* 0.2909738639 (* (* x x) (* x x)))))))))

rewrite21.8s

Algorithm
rewrite-expression-head
Rules
94×add-sqr-sqrt
86×associate-*r/
84×frac-add
76×times-frac
73×flip3-+ flip-+
60×add-exp-log
56×sqrt-div
53×*-un-lft-identity
47×add-cube-cbrt
44×sqrt-prod
42×associate-/r/
39×associate-*r*
37×associate-*l*
36×add-cbrt-cube
25×prod-exp
17×div-exp
15×unswap-sqr
13×cbrt-unprod
12×pow1
9×cbrt-undiv
6×associate-/r* associate-/l/
5×associate-*l/
4×rec-exp 1-exp pow-prod-down insert-posit16 add-log-exp
3×div-inv associate-/l*
2×frac-times *-commutative
1×rem-sqrt-square clear-num frac-2neg sqrt-pow1 pow1/2
Counts
4 → 232
Calls
4 calls:
1.7s
(sqrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0001789971 (* 2 (* (* x x) (* x x)))) (+ 0.0140005442 (* 0.0008327945 (* x x))))) (+ (* (* x x) (+ 0.7715471019 (* 0.0694555761 (* (* x x) (* x x))))) (+ 1 (* 0.2909738639 (* (* x x) (* x x)))))))
9.3s
(* (* (/ 1 (sqrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0001789971 (* 2 (* (* x x) (* x x)))) (+ 0.0140005442 (* 0.0008327945 (* x x))))) (+ (* (* x x) (+ 0.7715471019 (* 0.0694555761 (* (* x x) (* x x))))) (+ 1 (* 0.2909738639 (* (* x x) (* x x)))))))) (/ (+ (+ (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971))))) 1) (* (* x x) (+ (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947))) (sqrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0001789971 (* 2 (* (* x x) (* x x)))) (+ 0.0140005442 (* 0.0008327945 (* x x))))) (+ (* (* x x) (+ 0.7715471019 (* 0.0694555761 (* (* x x) (* x x))))) (+ 1 (* 0.2909738639 (* (* x x) (* x x))))))))) x)
2.6s
(/ (+ (+ (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971))))) 1) (* (* x x) (+ (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947))) (sqrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0001789971 (* 2 (* (* x x) (* x x)))) (+ 0.0140005442 (* 0.0008327945 (* x x))))) (+ (* (* x x) (+ 0.7715471019 (* 0.0694555761 (* (* x x) (* x x))))) (+ 1 (* 0.2909738639 (* (* x x) (* x x))))))))
8.2s
(* (/ 1 (sqrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0001789971 (* 2 (* (* x x) (* x x)))) (+ 0.0140005442 (* 0.0008327945 (* x x))))) (+ (* (* x x) (+ 0.7715471019 (* 0.0694555761 (* (* x x) (* x x))))) (+ 1 (* 0.2909738639 (* (* x x) (* x x)))))))) (/ (+ (+ (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971))))) 1) (* (* x x) (+ (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947))) (sqrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0001789971 (* 2 (* (* x x) (* x x)))) (+ 0.0140005442 (* 0.0008327945 (* x x))))) (+ (* (* x x) (+ 0.7715471019 (* 0.0694555761 (* (* x x) (* x x))))) (+ 1 (* 0.2909738639 (* (* x x) (* x x)))))))))

series1.4s

Counts
4 → 12
Calls
4 calls:
190.0ms
(sqrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0001789971 (* 2 (* (* x x) (* x x)))) (+ 0.0140005442 (* 0.0008327945 (* x x))))) (+ (* (* x x) (+ 0.7715471019 (* 0.0694555761 (* (* x x) (* x x))))) (+ 1 (* 0.2909738639 (* (* x x) (* x x)))))))
387.0ms
(* (* (/ 1 (sqrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0001789971 (* 2 (* (* x x) (* x x)))) (+ 0.0140005442 (* 0.0008327945 (* x x))))) (+ (* (* x x) (+ 0.7715471019 (* 0.0694555761 (* (* x x) (* x x))))) (+ 1 (* 0.2909738639 (* (* x x) (* x x)))))))) (/ (+ (+ (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971))))) 1) (* (* x x) (+ (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947))) (sqrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0001789971 (* 2 (* (* x x) (* x x)))) (+ 0.0140005442 (* 0.0008327945 (* x x))))) (+ (* (* x x) (+ 0.7715471019 (* 0.0694555761 (* (* x x) (* x x))))) (+ 1 (* 0.2909738639 (* (* x x) (* x x))))))))) x)
506.0ms
(/ (+ (+ (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971))))) 1) (* (* x x) (+ (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947))) (sqrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0001789971 (* 2 (* (* x x) (* x x)))) (+ 0.0140005442 (* 0.0008327945 (* x x))))) (+ (* (* x x) (+ 0.7715471019 (* 0.0694555761 (* (* x x) (* x x))))) (+ 1 (* 0.2909738639 (* (* x x) (* x x))))))))
334.0ms
(* (/ 1 (sqrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0001789971 (* 2 (* (* x x) (* x x)))) (+ 0.0140005442 (* 0.0008327945 (* x x))))) (+ (* (* x x) (+ 0.7715471019 (* 0.0694555761 (* (* x x) (* x x))))) (+ 1 (* 0.2909738639 (* (* x x) (* x x)))))))) (/ (+ (+ (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971))))) 1) (* (* x x) (+ (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947))) (sqrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0001789971 (* 2 (* (* x x) (* x x)))) (+ 0.0140005442 (* 0.0008327945 (* x x))))) (+ (* (* x x) (+ 0.7715471019 (* 0.0694555761 (* (* x x) (* x x))))) (+ 1 (* 0.2909738639 (* (* x x) (* x x)))))))))

simplify9.3s

Counts
244 → 244
Iterations
IterNodes
28180
11777
0528

prune8.0s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize194.0ms

Local error

Found 4 expressions with local error:

17.1b
(* (* (/ 1 (sqrt (* (cbrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0001789971 (* 2 (* (* x x) (* x x)))) (+ 0.0140005442 (* 0.0008327945 (* x x))))) (+ (* (* x x) (+ 0.7715471019 (* 0.0694555761 (* (* x x) (* x x))))) (+ 1 (* 0.2909738639 (* (* x x) (* x x))))))) (cbrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0001789971 (* 2 (* (* x x) (* x x)))) (+ 0.0140005442 (* 0.0008327945 (* x x))))) (+ (* (* x x) (+ 0.7715471019 (* 0.0694555761 (* (* x x) (* x x))))) (+ 1 (* 0.2909738639 (* (* x x) (* x x)))))))))) (* (/ 1 (sqrt (cbrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0001789971 (* 2 (* (* x x) (* x x)))) (+ 0.0140005442 (* 0.0008327945 (* x x))))) (+ (* (* x x) (+ 0.7715471019 (* 0.0694555761 (* (* x x) (* x x))))) (+ 1 (* 0.2909738639 (* (* x x) (* x x))))))))) (/ (+ (+ (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971))))) 1) (* (* x x) (+ (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947))) (sqrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0001789971 (* 2 (* (* x x) (* x x)))) (+ 0.0140005442 (* 0.0008327945 (* x x))))) (+ (* (* x x) (+ 0.7715471019 (* 0.0694555761 (* (* x x) (* x x))))) (+ 1 (* 0.2909738639 (* (* x x) (* x x)))))))))) x)
22.1b
(* (/ 1 (sqrt (cbrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0001789971 (* 2 (* (* x x) (* x x)))) (+ 0.0140005442 (* 0.0008327945 (* x x))))) (+ (* (* x x) (+ 0.7715471019 (* 0.0694555761 (* (* x x) (* x x))))) (+ 1 (* 0.2909738639 (* (* x x) (* x x))))))))) (/ (+ (+ (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971))))) 1) (* (* x x) (+ (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947))) (sqrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0001789971 (* 2 (* (* x x) (* x x)))) (+ 0.0140005442 (* 0.0008327945 (* x x))))) (+ (* (* x x) (+ 0.7715471019 (* 0.0694555761 (* (* x x) (* x x))))) (+ 1 (* 0.2909738639 (* (* x x) (* x x)))))))))
25.7b
(/ (+ (+ (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971))))) 1) (* (* x x) (+ (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947))) (sqrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0001789971 (* 2 (* (* x x) (* x x)))) (+ 0.0140005442 (* 0.0008327945 (* x x))))) (+ (* (* x x) (+ 0.7715471019 (* 0.0694555761 (* (* x x) (* x x))))) (+ 1 (* 0.2909738639 (* (* x x) (* x x))))))))
25.9b
(* (/ 1 (sqrt (* (cbrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0001789971 (* 2 (* (* x x) (* x x)))) (+ 0.0140005442 (* 0.0008327945 (* x x))))) (+ (* (* x x) (+ 0.7715471019 (* 0.0694555761 (* (* x x) (* x x))))) (+ 1 (* 0.2909738639 (* (* x x) (* x x))))))) (cbrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0001789971 (* 2 (* (* x x) (* x x)))) (+ 0.0140005442 (* 0.0008327945 (* x x))))) (+ (* (* x x) (+ 0.7715471019 (* 0.0694555761 (* (* x x) (* x x))))) (+ 1 (* 0.2909738639 (* (* x x) (* x x)))))))))) (* (/ 1 (sqrt (cbrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0001789971 (* 2 (* (* x x) (* x x)))) (+ 0.0140005442 (* 0.0008327945 (* x x))))) (+ (* (* x x) (+ 0.7715471019 (* 0.0694555761 (* (* x x) (* x x))))) (+ 1 (* 0.2909738639 (* (* x x) (* x x))))))))) (/ (+ (+ (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971))))) 1) (* (* x x) (+ (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947))) (sqrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0001789971 (* 2 (* (* x x) (* x x)))) (+ 0.0140005442 (* 0.0008327945 (* x x))))) (+ (* (* x x) (+ 0.7715471019 (* 0.0694555761 (* (* x x) (* x x))))) (+ 1 (* 0.2909738639 (* (* x x) (* x x))))))))))

rewrite1.6m

Algorithm
rewrite-expression-head
Rules
689×associate-*r/
664×frac-add
566×flip3-+ flip-+
434×cbrt-div
340×add-exp-log
286×associate-*l*
266×sqrt-div associate-/r/
207×frac-times
181×prod-exp
125×add-sqr-sqrt
112×add-cbrt-cube
109×div-exp
107×times-frac
69×*-un-lft-identity
61×sqrt-prod
60×add-cube-cbrt
51×cbrt-unprod
40×associate-*r*
36×rec-exp 1-exp
31×cbrt-undiv
28×associate-*l/
21×unswap-sqr
20×pow1
15×cbrt-prod
10×pow-prod-down
6×associate-/r* associate-/l/
4×insert-posit16 div-inv add-log-exp
3×*-commutative associate-/l*
1×clear-num frac-2neg
Counts
4 → 563
Calls
4 calls:
1.0m
(* (* (/ 1 (sqrt (* (cbrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0001789971 (* 2 (* (* x x) (* x x)))) (+ 0.0140005442 (* 0.0008327945 (* x x))))) (+ (* (* x x) (+ 0.7715471019 (* 0.0694555761 (* (* x x) (* x x))))) (+ 1 (* 0.2909738639 (* (* x x) (* x x))))))) (cbrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0001789971 (* 2 (* (* x x) (* x x)))) (+ 0.0140005442 (* 0.0008327945 (* x x))))) (+ (* (* x x) (+ 0.7715471019 (* 0.0694555761 (* (* x x) (* x x))))) (+ 1 (* 0.2909738639 (* (* x x) (* x x)))))))))) (* (/ 1 (sqrt (cbrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0001789971 (* 2 (* (* x x) (* x x)))) (+ 0.0140005442 (* 0.0008327945 (* x x))))) (+ (* (* x x) (+ 0.7715471019 (* 0.0694555761 (* (* x x) (* x x))))) (+ 1 (* 0.2909738639 (* (* x x) (* x x))))))))) (/ (+ (+ (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971))))) 1) (* (* x x) (+ (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947))) (sqrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0001789971 (* 2 (* (* x x) (* x x)))) (+ 0.0140005442 (* 0.0008327945 (* x x))))) (+ (* (* x x) (+ 0.7715471019 (* 0.0694555761 (* (* x x) (* x x))))) (+ 1 (* 0.2909738639 (* (* x x) (* x x)))))))))) x)
8.4s
(* (/ 1 (sqrt (cbrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0001789971 (* 2 (* (* x x) (* x x)))) (+ 0.0140005442 (* 0.0008327945 (* x x))))) (+ (* (* x x) (+ 0.7715471019 (* 0.0694555761 (* (* x x) (* x x))))) (+ 1 (* 0.2909738639 (* (* x x) (* x x))))))))) (/ (+ (+ (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971))))) 1) (* (* x x) (+ (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947))) (sqrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0001789971 (* 2 (* (* x x) (* x x)))) (+ 0.0140005442 (* 0.0008327945 (* x x))))) (+ (* (* x x) (+ 0.7715471019 (* 0.0694555761 (* (* x x) (* x x))))) (+ 1 (* 0.2909738639 (* (* x x) (* x x)))))))))
3.3s
(/ (+ (+ (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971))))) 1) (* (* x x) (+ (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947))) (sqrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0001789971 (* 2 (* (* x x) (* x x)))) (+ 0.0140005442 (* 0.0008327945 (* x x))))) (+ (* (* x x) (+ 0.7715471019 (* 0.0694555761 (* (* x x) (* x x))))) (+ 1 (* 0.2909738639 (* (* x x) (* x x))))))))
21.4s
(* (/ 1 (sqrt (* (cbrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0001789971 (* 2 (* (* x x) (* x x)))) (+ 0.0140005442 (* 0.0008327945 (* x x))))) (+ (* (* x x) (+ 0.7715471019 (* 0.0694555761 (* (* x x) (* x x))))) (+ 1 (* 0.2909738639 (* (* x x) (* x x))))))) (cbrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0001789971 (* 2 (* (* x x) (* x x)))) (+ 0.0140005442 (* 0.0008327945 (* x x))))) (+ (* (* x x) (+ 0.7715471019 (* 0.0694555761 (* (* x x) (* x x))))) (+ 1 (* 0.2909738639 (* (* x x) (* x x)))))))))) (* (/ 1 (sqrt (cbrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0001789971 (* 2 (* (* x x) (* x x)))) (+ 0.0140005442 (* 0.0008327945 (* x x))))) (+ (* (* x x) (+ 0.7715471019 (* 0.0694555761 (* (* x x) (* x x))))) (+ 1 (* 0.2909738639 (* (* x x) (* x x))))))))) (/ (+ (+ (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971))))) 1) (* (* x x) (+ (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947))) (sqrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0001789971 (* 2 (* (* x x) (* x x)))) (+ 0.0140005442 (* 0.0008327945 (* x x))))) (+ (* (* x x) (+ 0.7715471019 (* 0.0694555761 (* (* x x) (* x x))))) (+ 1 (* 0.2909738639 (* (* x x) (* x x))))))))))

series1.2s

Counts
4 → 12
Calls
4 calls:
276.0ms
(* (* (/ 1 (sqrt (* (cbrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0001789971 (* 2 (* (* x x) (* x x)))) (+ 0.0140005442 (* 0.0008327945 (* x x))))) (+ (* (* x x) (+ 0.7715471019 (* 0.0694555761 (* (* x x) (* x x))))) (+ 1 (* 0.2909738639 (* (* x x) (* x x))))))) (cbrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0001789971 (* 2 (* (* x x) (* x x)))) (+ 0.0140005442 (* 0.0008327945 (* x x))))) (+ (* (* x x) (+ 0.7715471019 (* 0.0694555761 (* (* x x) (* x x))))) (+ 1 (* 0.2909738639 (* (* x x) (* x x)))))))))) (* (/ 1 (sqrt (cbrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0001789971 (* 2 (* (* x x) (* x x)))) (+ 0.0140005442 (* 0.0008327945 (* x x))))) (+ (* (* x x) (+ 0.7715471019 (* 0.0694555761 (* (* x x) (* x x))))) (+ 1 (* 0.2909738639 (* (* x x) (* x x))))))))) (/ (+ (+ (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971))))) 1) (* (* x x) (+ (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947))) (sqrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0001789971 (* 2 (* (* x x) (* x x)))) (+ 0.0140005442 (* 0.0008327945 (* x x))))) (+ (* (* x x) (+ 0.7715471019 (* 0.0694555761 (* (* x x) (* x x))))) (+ 1 (* 0.2909738639 (* (* x x) (* x x)))))))))) x)
433.0ms
(* (/ 1 (sqrt (cbrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0001789971 (* 2 (* (* x x) (* x x)))) (+ 0.0140005442 (* 0.0008327945 (* x x))))) (+ (* (* x x) (+ 0.7715471019 (* 0.0694555761 (* (* x x) (* x x))))) (+ 1 (* 0.2909738639 (* (* x x) (* x x))))))))) (/ (+ (+ (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971))))) 1) (* (* x x) (+ (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947))) (sqrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0001789971 (* 2 (* (* x x) (* x x)))) (+ 0.0140005442 (* 0.0008327945 (* x x))))) (+ (* (* x x) (+ 0.7715471019 (* 0.0694555761 (* (* x x) (* x x))))) (+ 1 (* 0.2909738639 (* (* x x) (* x x)))))))))
296.0ms
(/ (+ (+ (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971))))) 1) (* (* x x) (+ (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947))) (sqrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0001789971 (* 2 (* (* x x) (* x x)))) (+ 0.0140005442 (* 0.0008327945 (* x x))))) (+ (* (* x x) (+ 0.7715471019 (* 0.0694555761 (* (* x x) (* x x))))) (+ 1 (* 0.2909738639 (* (* x x) (* x x))))))))
219.0ms
(* (/ 1 (sqrt (* (cbrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0001789971 (* 2 (* (* x x) (* x x)))) (+ 0.0140005442 (* 0.0008327945 (* x x))))) (+ (* (* x x) (+ 0.7715471019 (* 0.0694555761 (* (* x x) (* x x))))) (+ 1 (* 0.2909738639 (* (* x x) (* x x))))))) (cbrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0001789971 (* 2 (* (* x x) (* x x)))) (+ 0.0140005442 (* 0.0008327945 (* x x))))) (+ (* (* x x) (+ 0.7715471019 (* 0.0694555761 (* (* x x) (* x x))))) (+ 1 (* 0.2909738639 (* (* x x) (* x x)))))))))) (* (/ 1 (sqrt (cbrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0001789971 (* 2 (* (* x x) (* x x)))) (+ 0.0140005442 (* 0.0008327945 (* x x))))) (+ (* (* x x) (+ 0.7715471019 (* 0.0694555761 (* (* x x) (* x x))))) (+ 1 (* 0.2909738639 (* (* x x) (* x x))))))))) (/ (+ (+ (* (* (* x x) (* x x)) (+ 0.0424060604 (* (* (* x x) (* x x)) (+ 0.0005064034 (* (* x x) 0.0001789971))))) 1) (* (* x x) (+ (* (* (* x x) (* x x)) 0.0072644182) 0.1049934947))) (sqrt (+ (* (* (* (* x x) (* x x)) (* (* x x) (* x x))) (+ (* 0.0001789971 (* 2 (* (* x x) (* x x)))) (+ 0.0140005442 (* 0.0008327945 (* x x))))) (+ (* (* x x) (+ 0.7715471019 (* 0.0694555761 (* (* x x) (* x x))))) (+ 1 (* 0.2909738639 (* (* x x) (* x x))))))))))

simplify4.5s

Counts
575 → 575
Iterations
IterNodes
13426
01331

prune21.0s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

regimes51.0ms

Accuracy

99.9% (0.0b remaining)

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

bsearch552.0ms

Steps
ItersRangePoint
10
1.6697130628152668
4649870806659.843
644.319760649728
9
-7.028434675827309e+18
-4066758713609.0605
-981611116297050.5

simplify42.0ms

Iterations
IterNodes
2101
1101
066

end0.0ms

sample2.7s

Algorithm
intervals
Results
2.6s8000×body80valid