Details

Time bar (total: 1.4m)

sample1.8s

Algorithm
intervals
Results
514.0ms40×body320valid
440.0ms125×body10240exit
379.0ms121×body1280valid
181.0ms48×body1280nan
146.0ms77×body640valid
46.0ms22×body640nan
25.0ms18×body320nan
11.0ms11×body160valid
7.0ms7×body160nan
4.0ms9×body80valid
3.0ms7×body80nan

simplify709.0ms

Counts
1 → 1
Iterations
IterNodes
done2000
2420
1140
055

prune53.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.3b

localize151.0ms

Local error

Found 4 expressions with local error:

1.0b
(+ (+ (/ 12.507343278686905 (+ z 4)) (+ (/ -176.6150291621406 (+ z 3)) (/ -0.13857109526572012 (- z -5)))) (/ 9.984369578019572e-06 (- z -6)))
1.0b
(* (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
1.0b
(sqrt (* PI 2))
1.2b
(/ (+ (+ (/ 1.5056327351493116e-07 (- z -7)) (+ (+ (/ 771.3234287776531 (+ z 2)) (+ 0.9999999999998099 (/ 676.5203681218851 z))) (/ -1259.1392167224028 (+ z 1)))) (+ (+ (/ 12.507343278686905 (+ z 4)) (+ (/ -176.6150291621406 (+ z 3)) (/ -0.13857109526572012 (- z -5)))) (/ 9.984369578019572e-06 (- z -6)))) (exp (+ (- z -6) 0.5)))

rewrite14.1s

Algorithm
rewrite-expression-head
Rules
760×*-un-lft-identity
522×distribute-lft-out
221×frac-add
156×times-frac
58×associate-/l/
56×flip3-+ flip-+
41×add-sqr-sqrt
36×add-cube-cbrt
24×exp-sum
23×associate-/l*
17×distribute-lft-out--
13×add-log-exp
10×associate-*l* add-exp-log
8×add-cbrt-cube
7×pow1
6×sum-log unpow-prod-down
4×associate-/r* associate-*r* insert-posit16
3×prod-exp unswap-sqr
2×sqrt-pow1 associate-+l- sqrt-prod sqr-pow
1×pow-to-exp cbrt-undiv unpow-prod-up +-commutative associate-+l+ clear-num frac-2neg pow1/2 exp-diff div-exp pow-prod-down associate-*l/ pow-exp associate-/r/ *-commutative cbrt-unprod div-inv pow-sub
Counts
4 → 273
Calls
4 calls:
817.0ms
(+ (+ (/ 12.507343278686905 (+ z 4)) (+ (/ -176.6150291621406 (+ z 3)) (/ -0.13857109526572012 (- z -5)))) (/ 9.984369578019572e-06 (- z -6)))
208.0ms
(* (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
3.0ms
(sqrt (* PI 2))
13.1s
(/ (+ (+ (/ 1.5056327351493116e-07 (- z -7)) (+ (+ (/ 771.3234287776531 (+ z 2)) (+ 0.9999999999998099 (/ 676.5203681218851 z))) (/ -1259.1392167224028 (+ z 1)))) (+ (+ (/ 12.507343278686905 (+ z 4)) (+ (/ -176.6150291621406 (+ z 3)) (/ -0.13857109526572012 (- z -5)))) (/ 9.984369578019572e-06 (- z -6)))) (exp (+ (- z -6) 0.5)))

series811.0ms

Counts
4 → 10
Calls
4 calls:
154.0ms
(+ (+ (/ 12.507343278686905 (+ z 4)) (+ (/ -176.6150291621406 (+ z 3)) (/ -0.13857109526572012 (- z -5)))) (/ 9.984369578019572e-06 (- z -6)))
396.0ms
(* (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
0.0ms
(sqrt (* PI 2))
261.0ms
(/ (+ (+ (/ 1.5056327351493116e-07 (- z -7)) (+ (+ (/ 771.3234287776531 (+ z 2)) (+ 0.9999999999998099 (/ 676.5203681218851 z))) (/ -1259.1392167224028 (+ z 1)))) (+ (+ (/ 12.507343278686905 (+ z 4)) (+ (/ -176.6150291621406 (+ z 3)) (/ -0.13857109526572012 (- z -5)))) (/ 9.984369578019572e-06 (- z -6)))) (exp (+ (- z -6) 0.5)))

simplify1.9s

Counts
283 → 283
Iterations
IterNodes
done2001
11678
0506

prune3.2s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize70.0ms

Local error

Found 4 expressions with local error:

0.3b
(/ z (exp 6.5))
0.4b
(* 2351.6663247613023 (/ z (exp 6.5)))
1.0b
(* (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
1.0b
(sqrt (* PI 2))

rewrite204.0ms

Algorithm
rewrite-expression-head
Rules
33×add-sqr-sqrt
28×*-un-lft-identity
23×add-cube-cbrt
19×times-frac
17×associate-*r*
14×add-exp-log
13×add-cbrt-cube associate-*l*
9×pow1
6×unpow-prod-down
5×prod-exp unswap-sqr
4×insert-posit16 add-log-exp
3×associate-/r* cbrt-unprod associate-/l*
2×cbrt-undiv sqrt-pow1 div-exp pow-prod-down *-commutative sqrt-prod div-inv distribute-lft-out sqr-pow
1×pow-to-exp unpow-prod-up clear-num frac-2neg pow1/2 associate-*l/ pow-exp associate-*r/ associate-+l- distribute-lft-out-- pow-sub
Counts
4 → 104
Calls
4 calls:
8.0ms
(/ z (exp 6.5))
11.0ms
(* 2351.6663247613023 (/ z (exp 6.5)))
177.0ms
(* (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
5.0ms
(sqrt (* PI 2))

series667.0ms

Counts
4 → 10
Calls
4 calls:
104.0ms
(/ z (exp 6.5))
164.0ms
(* 2351.6663247613023 (/ z (exp 6.5)))
399.0ms
(* (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
0.0ms
(sqrt (* PI 2))

simplify1.1s

Counts
114 → 114
Iterations
IterNodes
done2003
21758
1533
0213

prune1.0s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize68.0ms

Local error

Found 4 expressions with local error:

0.3b
(/ z (exp 6.5))
0.4b
(* 2351.6663247613023 (/ z (exp 6.5)))
1.0b
(* (* (exp (* (- 0.5 z) (- (log (+ z 6.5))))) (sqrt 2)) (sqrt PI))
1.0b
(sqrt PI)

rewrite127.0ms

Algorithm
rewrite-expression-head
Rules
29×add-sqr-sqrt
23×*-un-lft-identity add-cube-cbrt
19×times-frac associate-*r*
16×add-cbrt-cube
13×add-exp-log
12×pow1
6×sqrt-prod
5×prod-exp cbrt-unprod
4×associate-*l* pow-prod-down insert-posit16 add-log-exp
3×associate-/r* associate-/l*
2×cbrt-undiv div-exp associate-*l/ *-commutative div-inv unswap-sqr
1×exp-neg rem-sqrt-square clear-num frac-2neg sqrt-pow1 pow1/2 associate-*r/ distribute-rgt-neg-out
Counts
4 → 98
Calls
4 calls:
10.0ms
(/ z (exp 6.5))
23.0ms
(* 2351.6663247613023 (/ z (exp 6.5)))
90.0ms
(* (* (exp (* (- 0.5 z) (- (log (+ z 6.5))))) (sqrt 2)) (sqrt PI))
2.0ms
(sqrt PI)

series735.0ms

Counts
4 → 10
Calls
4 calls:
136.0ms
(/ z (exp 6.5))
143.0ms
(* 2351.6663247613023 (/ z (exp 6.5)))
456.0ms
(* (* (exp (* (- 0.5 z) (- (log (+ z 6.5))))) (sqrt 2)) (sqrt PI))
0.0ms
(sqrt PI)

simplify1.1s

Counts
108 → 108
Iterations
IterNodes
done2002
21896
1525
0200

prune917.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize124.0ms

Local error

Found 4 expressions with local error:

0.4b
(* 2351.6663247613023 (/ z (exp 6.5)))
1.0b
(* (sqrt PI) (* (* (* (sqrt 2) (exp (* (log (+ 6.5 z)) (- (- 0.5 z))))) (* (sqrt 2) (exp (* (log (+ 6.5 z)) (- (- 0.5 z)))))) (* (sqrt 2) (exp (* (log (+ 6.5 z)) (- (- 0.5 z)))))))
1.0b
(* PI (* (sqrt PI) (* (* (* (sqrt 2) (exp (* (log (+ 6.5 z)) (- (- 0.5 z))))) (* (sqrt 2) (exp (* (log (+ 6.5 z)) (- (- 0.5 z)))))) (* (sqrt 2) (exp (* (log (+ 6.5 z)) (- (- 0.5 z))))))))
1.0b
(sqrt PI)

rewrite3.0s

Algorithm
rewrite-expression-head
Rules
149×associate-*r/
128×add-cbrt-cube
126×pow1
108×exp-neg distribute-rgt-neg-out
101×add-exp-log
98×prod-exp cbrt-unprod
97×pow-prod-down
56×frac-times
54×un-div-inv
28×associate-*l/
22×add-sqr-sqrt
16×*-un-lft-identity add-cube-cbrt
15×associate-*r*
12×associate-*l*
10×times-frac
6×sqrt-prod
4×insert-posit16 add-log-exp
3×*-commutative
2×unswap-sqr
1×cbrt-undiv rem-sqrt-square sqrt-pow1 pow1/2 div-exp div-inv
Counts
4 → 197
Calls
4 calls:
11.0ms
(* 2351.6663247613023 (/ z (exp 6.5)))
787.0ms
(* (sqrt PI) (* (* (* (sqrt 2) (exp (* (log (+ 6.5 z)) (- (- 0.5 z))))) (* (sqrt 2) (exp (* (log (+ 6.5 z)) (- (- 0.5 z)))))) (* (sqrt 2) (exp (* (log (+ 6.5 z)) (- (- 0.5 z)))))))
2.2s
(* PI (* (sqrt PI) (* (* (* (sqrt 2) (exp (* (log (+ 6.5 z)) (- (- 0.5 z))))) (* (sqrt 2) (exp (* (log (+ 6.5 z)) (- (- 0.5 z)))))) (* (sqrt 2) (exp (* (log (+ 6.5 z)) (- (- 0.5 z))))))))
2.0ms
(sqrt PI)

series1.7s

Counts
4 → 10
Calls
4 calls:
171.0ms
(* 2351.6663247613023 (/ z (exp 6.5)))
751.0ms
(* (sqrt PI) (* (* (* (sqrt 2) (exp (* (log (+ 6.5 z)) (- (- 0.5 z))))) (* (sqrt 2) (exp (* (log (+ 6.5 z)) (- (- 0.5 z)))))) (* (sqrt 2) (exp (* (log (+ 6.5 z)) (- (- 0.5 z)))))))
783.0ms
(* PI (* (sqrt PI) (* (* (* (sqrt 2) (exp (* (log (+ 6.5 z)) (- (- 0.5 z))))) (* (sqrt 2) (exp (* (log (+ 6.5 z)) (- (- 0.5 z)))))) (* (sqrt 2) (exp (* (log (+ 6.5 z)) (- (- 0.5 z))))))))
0.0ms
(sqrt PI)

simplify1.2s

Counts
207 → 207
Iterations
IterNodes
done2001
11207
0388

prune1.2s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.0b

regimes499.0ms

Accuracy

0% (1.0b remaining)

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

bsearch0.0ms

simplify20.0ms

Iterations
IterNodes
done42
342
241
137
027

end0.0ms

sample48.4s

Algorithm
intervals
Results
17.4s3790×body10240exit
11.0s3428×body1280valid
6.6s2467×body640valid
4.0s1423×body1280nan
3.8s1235×body640nan
2.3s1249×body320valid
1.0s609×body320nan
676.0ms623×body160valid
628.0ms280×body80nan
324.0ms285×body160nan
149.0ms316×body80valid