Details

Time bar (total: 2.7m)

sample1.4s

Algorithm
intervals
Results
514.0ms37×body320valid
324.0ms131×body10240exit
179.0ms110×body1280valid
92.0ms41×body640nan
89.0ms80×body640valid
82.0ms51×body1280nan
26.0ms32×body320nan
10.0ms19×body160valid
8.0ms14×body160nan
3.0ms10×body80nan
3.0ms12×body80valid

simplify2.0s

Counts
1 → 1
Iterations

Useful iterations: 3 (530.0ms)

IterNodesCost
05594
113394
244992
3251589
done500189

prune36.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.1b

localize68.0ms

Local error

Found 4 expressions with local error:

0.8b
(* (/ (* (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (sqrt (* PI 2.0))) (exp (+ (+ (- z 1.0) 7.0) 0.5))) (+ (+ (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))) (/ 12.507343278686905 (+ (- z 1.0) 5.0))) (+ (/ -176.6150291621406 (+ (- z 1.0) 4.0)) (+ (+ (/ -0.13857109526572012 (+ (- z 1.0) 6.0)) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (+ (/ 676.5203681218851 z) (+ (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) 0.9999999999998099))))))
1.0b
(/ (* (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (sqrt (* PI 2.0))) (exp (+ (+ (- z 1.0) 7.0) 0.5)))
1.0b
(* (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (sqrt (* PI 2.0)))
1.0b
(sqrt (* PI 2.0))

rewrite1.6m

Algorithm
rewrite-expression-head
Rules
648×frac-add
186×flip3-+ flip-+
159×*-un-lft-identity
119×distribute-lft-out
82×frac-times associate-*r/
31×associate-*r*
27×add-exp-log
20×associate-*l* add-cbrt-cube
19×add-sqr-sqrt
14×prod-exp
12×add-cube-cbrt
9×pow1
8×times-frac div-exp
7×unpow-prod-down
6×associate-+l- cbrt-unprod
4×cbrt-undiv expm1-log1p-u associate-/r* log1p-expm1-u add-log-exp unswap-sqr
3×pow-to-exp exp-sum associate-*l/ pow-exp
2×sqrt-pow1 exp-diff pow-prod-down sqrt-prod associate-/r/ *-commutative div-inv pow-sub sqr-pow
1×unpow-prod-up distribute-rgt-in frac-2neg distribute-lft-in pow1/2 clear-num associate-/l/ associate-/l* distribute-lft-out--
Counts
4 → 298
Calls
4 calls:
1.6m
(* (/ (* (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (sqrt (* PI 2.0))) (exp (+ (+ (- z 1.0) 7.0) 0.5))) (+ (+ (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))) (/ 12.507343278686905 (+ (- z 1.0) 5.0))) (+ (/ -176.6150291621406 (+ (- z 1.0) 4.0)) (+ (+ (/ -0.13857109526572012 (+ (- z 1.0) 6.0)) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (+ (/ 676.5203681218851 z) (+ (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) 0.9999999999998099))))))
944.0ms
(/ (* (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (sqrt (* PI 2.0))) (exp (+ (+ (- z 1.0) 7.0) 0.5)))
1.1s
(* (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (sqrt (* PI 2.0)))
10.0ms
(sqrt (* PI 2.0))

series2.0s

Counts
4 → 10
Calls
4 calls:
904.0ms
(* (/ (* (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (sqrt (* PI 2.0))) (exp (+ (+ (- z 1.0) 7.0) 0.5))) (+ (+ (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))) (/ 12.507343278686905 (+ (- z 1.0) 5.0))) (+ (/ -176.6150291621406 (+ (- z 1.0) 4.0)) (+ (+ (/ -0.13857109526572012 (+ (- z 1.0) 6.0)) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (+ (/ 676.5203681218851 z) (+ (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) 0.9999999999998099))))))
703.0ms
(/ (* (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (sqrt (* PI 2.0))) (exp (+ (+ (- z 1.0) 7.0) 0.5)))
429.0ms
(* (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (sqrt (* PI 2.0)))
0.0ms
(sqrt (* PI 2.0))

simplify694.0ms

Counts
308 → 308
Iterations

Useful iterations: done (610.0ms)

IterNodesCost
0111466543
done500060831

prune6.8s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize146.0ms

Local error

Found 4 expressions with local error:

1.0b
(* (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))))
1.0b
(/ (* (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (sqrt (* PI 2.0))) (exp (+ (+ (- z 1.0) 7.0) 0.5)))
1.0b
(* (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (sqrt (* PI 2.0)))
1.0b
(sqrt (* PI 2.0))

rewrite3.8s

Algorithm
rewrite-expression-head
Rules
1116×*-un-lft-identity
431×distribute-lft-out
364×times-frac
121×distribute-lft-out--
87×swap-sqr
24×associate-*l*
20×add-sqr-sqrt
17×add-exp-log associate-*r*
14×pow1
13×add-cube-cbrt add-cbrt-cube
9×frac-times
8×flip3-+ frac-add flip-+
7×unpow-prod-down prod-exp
5×associate-*l/
4×expm1-log1p-u associate-+l- div-exp associate-/r* log1p-expm1-u add-log-exp unswap-sqr
3×associate-*r/ cbrt-unprod
2×cbrt-undiv pow-to-exp sqrt-pow1 exp-sum pow-prod-down pow-exp sqrt-prod *-commutative pow-sub sqr-pow
1×unpow-prod-up pow2 distribute-rgt-in frac-2neg distribute-lft-in pow-plus pow1/2 exp-diff clear-num associate-/r/ pow-sqr pow-prod-up div-inv associate-/l/ associate-/l*
Counts
4 → 223
Calls
4 calls:
1.9s
(* (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))))
894.0ms
(/ (* (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (sqrt (* PI 2.0))) (exp (+ (+ (- z 1.0) 7.0) 0.5)))
948.0ms
(* (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (sqrt (* PI 2.0)))
5.0ms
(sqrt (* PI 2.0))

series1.2s

Counts
4 → 10
Calls
4 calls:
154.0ms
(* (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))))
601.0ms
(/ (* (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (sqrt (* PI 2.0))) (exp (+ (+ (- z 1.0) 7.0) 0.5)))
471.0ms
(* (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (sqrt (* PI 2.0)))
0.0ms
(sqrt (* PI 2.0))

simplify2.2s

Counts
233 → 233
Iterations

Useful iterations: done (2.2s)

IterNodesCost
03498368
110447519
246147104
done50007101

prune2.7s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0b

localize145.0ms

Local error

Found 4 expressions with local error:

1.0b
(* (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))))
1.0b
(* (cbrt (exp (+ (+ (- z 1.0) 7.0) 0.5))) (cbrt (exp (+ (+ (- z 1.0) 7.0) 0.5))))
1.0b
(* (/ (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (* (cbrt (exp (+ (+ (- z 1.0) 7.0) 0.5))) (cbrt (exp (+ (+ (- z 1.0) 7.0) 0.5))))) (/ (sqrt (* PI 2.0)) (cbrt (exp (+ (+ (- z 1.0) 7.0) 0.5)))))
1.0b
(sqrt (* PI 2.0))

rewrite6.6s

Algorithm
rewrite-expression-head
Rules
1138×*-un-lft-identity
431×distribute-lft-out
416×times-frac
121×distribute-lft-out--
94×swap-sqr
74×add-sqr-sqrt
57×add-exp-log
53×associate-*r*
40×cbrt-prod
38×associate-*l*
35×add-cube-cbrt
23×pow1
22×prod-exp
20×add-cbrt-cube
19×div-exp
18×associate-+l-
17×unswap-sqr
12×frac-times
10×cbrt-unprod
9×unpow-prod-down cbrt-div exp-diff
8×flip3-+ exp-sum frac-add sqrt-prod flip-+
7×cbrt-undiv
6×pow1/3 associate-*r/ associate-*l/
5×pow-prod-down
4×expm1-log1p-u pow-to-exp pow-exp associate-/r/ log1p-expm1-u add-log-exp sqr-pow
3×pow-sqr *-commutative pow-prod-up
2×pow2 sqrt-pow1 pow-plus div-inv
1×unpow-prod-up distribute-rgt-in distribute-lft-in pow1/2
Counts
4 → 306
Calls
4 calls:
1.7s
(* (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))))
1.1s
(* (cbrt (exp (+ (+ (- z 1.0) 7.0) 0.5))) (cbrt (exp (+ (+ (- z 1.0) 7.0) 0.5))))
3.3s
(* (/ (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (* (cbrt (exp (+ (+ (- z 1.0) 7.0) 0.5))) (cbrt (exp (+ (+ (- z 1.0) 7.0) 0.5))))) (/ (sqrt (* PI 2.0)) (cbrt (exp (+ (+ (- z 1.0) 7.0) 0.5)))))
390.0ms
(sqrt (* PI 2.0))

series738.0ms

Counts
4 → 10
Calls
4 calls:
91.0ms
(* (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))))
170.0ms
(* (cbrt (exp (+ (+ (- z 1.0) 7.0) 0.5))) (cbrt (exp (+ (+ (- z 1.0) 7.0) 0.5))))
477.0ms
(* (/ (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (* (cbrt (exp (+ (+ (- z 1.0) 7.0) 0.5))) (cbrt (exp (+ (+ (- z 1.0) 7.0) 0.5))))) (/ (sqrt (* PI 2.0)) (cbrt (exp (+ (+ (- z 1.0) 7.0) 0.5)))))
0.0ms
(sqrt (* PI 2.0))

simplify698.0ms

Counts
316 → 316
Iterations

Useful iterations: done (670.0ms)

IterNodesCost
042212914
1125611812
done500010993

prune3.7s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0b

localize137.0ms

Local error

Found 4 expressions with local error:

1.0b
(* (cbrt (* (/ (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (* (cbrt (exp (+ (+ (- z 1.0) 7.0) 0.5))) (cbrt (exp (+ (+ (- z 1.0) 7.0) 0.5))))) (/ (sqrt (* PI 2.0)) (cbrt (exp (+ (+ (- z 1.0) 7.0) 0.5)))))) (cbrt (* (/ (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (* (cbrt (exp (+ (+ (- z 1.0) 7.0) 0.5))) (cbrt (exp (+ (+ (- z 1.0) 7.0) 0.5))))) (/ (sqrt (* PI 2.0)) (cbrt (exp (+ (+ (- z 1.0) 7.0) 0.5)))))))
1.0b
(sqrt (* PI 2.0))
1.0b
(sqrt (* PI 2.0))
1.0b
(sqrt (* PI 2.0))

rewrite40.0ms

Algorithm
rewrite-expression-head
Rules
24×cbrt-div
20×pow1
17×frac-times
11×associate-*r/ associate-*l/
10×add-sqr-sqrt
8×add-cube-cbrt *-un-lft-identity
6×add-exp-log sqrt-pow1 pow1/3
5×pow-prod-down
4×cbrt-prod expm1-log1p-u swap-sqr associate-*r* associate-*l* add-cbrt-cube log1p-expm1-u add-log-exp
3×pow1/2 sqrt-prod
2×pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 87
Calls
4 calls:
15.0ms
(* (cbrt (* (/ (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (* (cbrt (exp (+ (+ (- z 1.0) 7.0) 0.5))) (cbrt (exp (+ (+ (- z 1.0) 7.0) 0.5))))) (/ (sqrt (* PI 2.0)) (cbrt (exp (+ (+ (- z 1.0) 7.0) 0.5)))))) (cbrt (* (/ (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (* (cbrt (exp (+ (+ (- z 1.0) 7.0) 0.5))) (cbrt (exp (+ (+ (- z 1.0) 7.0) 0.5))))) (/ (sqrt (* PI 2.0)) (cbrt (exp (+ (+ (- z 1.0) 7.0) 0.5)))))))
7.0ms
(sqrt (* PI 2.0))
8.0ms
(sqrt (* PI 2.0))
5.0ms
(sqrt (* PI 2.0))

series1.3s

Counts
4 → 6
Calls
4 calls:
1.3s
(* (cbrt (* (/ (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (* (cbrt (exp (+ (+ (- z 1.0) 7.0) 0.5))) (cbrt (exp (+ (+ (- z 1.0) 7.0) 0.5))))) (/ (sqrt (* PI 2.0)) (cbrt (exp (+ (+ (- z 1.0) 7.0) 0.5)))))) (cbrt (* (/ (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (* (cbrt (exp (+ (+ (- z 1.0) 7.0) 0.5))) (cbrt (exp (+ (+ (- z 1.0) 7.0) 0.5))))) (/ (sqrt (* PI 2.0)) (cbrt (exp (+ (+ (- z 1.0) 7.0) 0.5)))))))
0.0ms
(sqrt (* PI 2.0))
0.0ms
(sqrt (* PI 2.0))
0.0ms
(sqrt (* PI 2.0))

simplify728.0ms

Counts
93 → 93
Iterations

Useful iterations: done (724.0ms)

IterNodesCost
01995639
14575170
215363528
done50012848

prune1.6s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0b

regimes196.0ms

Accuracy

0% (0.6b remaining)

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

bsearch0.0ms

simplify11.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
069305
192305
done92305

end0.0ms

sample24.3s

Algorithm
intervals
Results
9.8s3795×body10240exit
5.3s3365×body1280valid
2.9s2496×body640valid
2.3s1497×body1280nan
1.3s1247×body640nan
869.0ms1257×body320valid
592.0ms635×body160valid
425.0ms663×body320nan
101.0ms289×body160nan
95.0ms329×body80valid
85.0ms294×body80nan