Details

Time bar (total: 1.2m)

sample85.0ms

Algorithm
intervals
Results
40.0ms256×body80valid

simplify7.4s

Counts
1 → 1
Iterations
IterNodes
done5002
41676
3453
2136
155
029

prune14.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 32.0b

localize150.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x)
0.1b
(* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x)
0.1b
(* (+ (* x 4.16438922228) 78.6994924154) x)
31.0b
(/ (* (- x 2.0) (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z)) (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))

rewrite667.0ms

Algorithm
rewrite-expression-head
Rules
18×add-sqr-sqrt
15×add-exp-log add-cbrt-cube
12×add-cube-cbrt *-un-lft-identity
10×pow1
9×associate-*r* associate-*l*
8×associate-*l/ associate-/l/
7×flip3-+ flip-+
4×frac-times prod-exp cbrt-unprod add-log-exp
3×flip3-- times-frac pow-prod-down associate-/r* *-commutative flip-- unswap-sqr
2×cbrt-undiv associate-*r/ div-exp associate-/r/
1×frac-2neg clear-num div-inv associate-/l*
Counts
4 → 91
Calls
4 calls:
201.0ms
(* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x)
98.0ms
(* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x)
57.0ms
(* (+ (* x 4.16438922228) 78.6994924154) x)
305.0ms
(/ (* (- x 2.0) (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z)) (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))

series901.0ms

Counts
4 → 12
Calls
4 calls:
205.0ms
(* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x)
81.0ms
(* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x)
163.0ms
(* (+ (* x 4.16438922228) 78.6994924154) x)
437.0ms
(/ (* (- x 2.0) (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z)) (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))

simplify9.1s

Counts
103 → 103
Iterations
IterNodes
done5002
22837
1675
0227

prune2.4s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize29.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (/ (/ y x) x) (- (* 4.16438922228 x) 110.1139242984811))
0.0b
(- (* 4.16438922228 x) 110.1139242984811)
0.1b
(/ (/ y x) x)

rewrite164.0ms

Algorithm
rewrite-expression-head
Rules
75×times-frac
47×*-un-lft-identity
45×add-sqr-sqrt add-cube-cbrt
13×associate-/l*
10×add-log-exp
8×add-exp-log add-cbrt-cube
5×div-inv
3×pow1 cbrt-undiv div-exp associate-/r*
2×sub-neg associate-+r+ flip3-- diff-log frac-add sum-log flip--
1×+-commutative associate-+r- frac-2neg flip3-+ clear-num flip-+ associate-/l/ distribute-lft-out
Counts
3 → 100
Calls
3 calls:
105.0ms
(+ (/ (/ y x) x) (- (* 4.16438922228 x) 110.1139242984811))
24.0ms
(- (* 4.16438922228 x) 110.1139242984811)
24.0ms
(/ (/ y x) x)

series194.0ms

Counts
3 → 9
Calls
3 calls:
77.0ms
(+ (/ (/ y x) x) (- (* 4.16438922228 x) 110.1139242984811))
71.0ms
(- (* 4.16438922228 x) 110.1139242984811)
45.0ms
(/ (/ y x) x)

simplify3.8s

Counts
109 → 109
Iterations
IterNodes
done5001
21380
1491
0195

prune1.3s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize327.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x)
0.1b
(* (+ (* x 4.16438922228) 78.6994924154) x)
0.3b
(/ (- x 2.0) (/ (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606) (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z)))
28.3b
(/ (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606) (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z))

rewrite770.0ms

Algorithm
rewrite-expression-head
Rules
138×times-frac
110×add-sqr-sqrt
106×*-un-lft-identity
74×add-cube-cbrt
18×associate-/r*
16×distribute-lft-out-- difference-of-squares
15×add-exp-log associate-/r/ add-cbrt-cube
10×flip3-+ flip-+
8×pow1 div-inv associate-/l*
6×associate-*r* associate-*l*
4×cbrt-undiv div-exp associate-*l/ associate-/l/ add-log-exp
2×frac-2neg pow-prod-down prod-exp clear-num *-commutative cbrt-unprod unswap-sqr
1×flip3-- div-sub flip--
Counts
4 → 184
Calls
4 calls:
101.0ms
(* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x)
67.0ms
(* (+ (* x 4.16438922228) 78.6994924154) x)
353.0ms
(/ (- x 2.0) (/ (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606) (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z)))
218.0ms
(/ (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606) (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z))

series1.3s

Counts
4 → 12
Calls
4 calls:
126.0ms
(* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x)
183.0ms
(* (+ (* x 4.16438922228) 78.6994924154) x)
553.0ms
(/ (- x 2.0) (/ (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606) (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z)))
461.0ms
(/ (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606) (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z))

simplify6.7s

Counts
196 → 196
Iterations
IterNodes
done5000
23671
11047
0346

prune3.5s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize548.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (+ (* x 4.16438922228) 78.6994924154) x)
0.2b
(/ 1 (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z))
5.3b
(/ (- x 2.0) (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))
28.1b
(/ (/ (- x 2.0) (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)) (/ 1 (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z)))

rewrite1.4s

Algorithm
rewrite-expression-head
Rules
777×times-frac
428×add-sqr-sqrt
426×*-un-lft-identity
322×add-cube-cbrt
81×associate-/r/
52×distribute-lft-out-- difference-of-squares
41×flip3-+ flip-+ div-inv
34×add-exp-log
29×associate-/l*
22×add-cbrt-cube
21×associate-/r*
19×div-exp
10×cbrt-undiv
7×pow1
4×add-log-exp
3×rec-exp frac-2neg 1-exp div-sub associate-*r* associate-*l* clear-num associate-/l/
2×associate-*l/
1×flip3-- pow-flip pow-prod-down prod-exp *-commutative flip-- cbrt-unprod inv-pow unswap-sqr
Counts
4 → 469
Calls
4 calls:
102.0ms
(* (+ (* x 4.16438922228) 78.6994924154) x)
166.0ms
(/ 1 (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z))
146.0ms
(/ (- x 2.0) (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))
517.0ms
(/ (/ (- x 2.0) (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)) (/ 1 (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z)))

series1.3s

Counts
4 → 12
Calls
4 calls:
152.0ms
(* (+ (* x 4.16438922228) 78.6994924154) x)
181.0ms
(/ 1 (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z))
150.0ms
(/ (- x 2.0) (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))
773.0ms
(/ (/ (- x 2.0) (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)) (/ 1 (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z)))

simplify9.5s

Counts
481 → 481
Iterations
IterNodes
done5002
12431
0753

prune12.6s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

regimes2.1s

Accuracy

97.6% (0.8b remaining)

Error of 0.8b against oracle of 0.1b and baseline of 33.5b

bsearch1.7s

Steps
ItersRangePoint
8
5.322690163927608e+71
2.884038058407771e+74
5.400940663197947e+71
9
-1.4830573028726113e+41
-9.459107631657709e+33
-1.844664431155969e+40

simplify37.0ms

Iterations
IterNodes
done63
163
042

end0.0ms

sample4.9s

Algorithm
intervals
Results
4.5s8007×body80valid