Details

Time bar (total: 2.0m)

sample1.7s

Algorithm
intervals
Results
580.0ms132×body10240exit
319.0ms96×body1280valid
232.0ms88×body640valid
170.0ms48×body1280nan
132.0ms46×body640nan
72.0ms48×body320valid
26.0ms16×body320nan
21.0ms17×body160valid
11.0ms13×body160nan
5.0ms11×body80nan
4.0ms11×body80valid

simplify1.1s

Counts
1 → 1
Iterations
IterNodes
32093
2410
1139
055

prune51.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.2b

localize180.0ms

Local error

Found 4 expressions with local error:

1.0b
(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
1.0b
(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
1.0b
(sqrt (* PI 2))
1.0b
(sqrt (* PI 2))

rewrite1.4s

Algorithm
rewrite-expression-head
Rules
28×*-un-lft-identity
22×associate-*l*
20×add-sqr-sqrt
14×unpow-prod-down add-exp-log
10×pow1 add-cube-cbrt distribute-lft-out
8×add-cbrt-cube associate-*r*
6×prod-exp unswap-sqr
4×sqrt-pow1 sqrt-prod add-log-exp sqr-pow
2×pow-to-exp unpow-prod-up pow1/2 pow-prod-down associate-*l/ pow-exp *-commutative associate-+l- cbrt-unprod distribute-lft-out-- pow-sub
Counts
4 → 84
Calls
4 calls:
419.0ms
(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
929.0ms
(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
5.0ms
(sqrt (* PI 2))
5.0ms
(sqrt (* PI 2))

series947.0ms

Counts
4 → 8
Calls
4 calls:
467.0ms
(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
479.0ms
(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
0.0ms
(sqrt (* PI 2))
0.0ms
(sqrt (* PI 2))

simplify3.2s

Counts
92 → 92
Iterations
IterNodes
36353
21324
1397
0157

prune3.5s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.7b

localize202.0ms

Local error

Found 4 expressions with local error:

1.0b
(* (/ (* (pow (+ (+ 7 (- z 1)) 0.5) (- z 1)) (* (pow (+ (+ 7 (- z 1)) 0.5) 0.5) (sqrt (* PI 2)))) (exp (+ (+ 7 (- z 1)) 0.5))) (+ (+ (/ -176.6150291621406 (+ (- z 1) 4)) (+ (+ (+ (/ 771.3234287776531 (+ 2 z)) (/ 676.5203681218851 z)) (+ 0.9999999999998099 (/ -1259.1392167224028 (- z -1)))) (/ -0.13857109526572012 (- z -5)))) (/ 12.507343278686905 (+ 4 z))))
1.0b
(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
1.0b
(sqrt (* PI 2))
1.0b
(sqrt (* PI 2))

rewrite27.9s

Algorithm
rewrite-expression-head
Rules
76×frac-add
52×*-un-lft-identity
51×add-exp-log
38×prod-exp
31×distribute-lft-out
20×add-cbrt-cube associate-*l*
18×flip3-+ flip-+
17×add-sqr-sqrt
14×frac-times associate-*r* associate-*r/
13×div-exp
12×pow1
10×add-cube-cbrt
8×pow-to-exp pow-exp cbrt-unprod
7×unpow-prod-down
4×sqrt-pow1 times-frac add-log-exp unswap-sqr
3×cbrt-undiv pow-prod-down sqrt-prod
2×pow1/2 associate-*l/ *-commutative associate-+l- sqr-pow
1×distribute-rgt-in unpow-prod-up associate-+r- distribute-lft-in exp-diff exp-sum associate-/r/ div-inv distribute-lft-out-- pow-sub
Counts
4 → 131
Calls
4 calls:
27.4s
(* (/ (* (pow (+ (+ 7 (- z 1)) 0.5) (- z 1)) (* (pow (+ (+ 7 (- z 1)) 0.5) 0.5) (sqrt (* PI 2)))) (exp (+ (+ 7 (- z 1)) 0.5))) (+ (+ (/ -176.6150291621406 (+ (- z 1) 4)) (+ (+ (+ (/ 771.3234287776531 (+ 2 z)) (/ 676.5203681218851 z)) (+ 0.9999999999998099 (/ -1259.1392167224028 (- z -1)))) (/ -0.13857109526572012 (- z -5)))) (/ 12.507343278686905 (+ 4 z))))
434.0ms
(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
2.0ms
(sqrt (* PI 2))
2.0ms
(sqrt (* PI 2))

series1.3s

Counts
4 → 8
Calls
4 calls:
924.0ms
(* (/ (* (pow (+ (+ 7 (- z 1)) 0.5) (- z 1)) (* (pow (+ (+ 7 (- z 1)) 0.5) 0.5) (sqrt (* PI 2)))) (exp (+ (+ 7 (- z 1)) 0.5))) (+ (+ (/ -176.6150291621406 (+ (- z 1) 4)) (+ (+ (+ (/ 771.3234287776531 (+ 2 z)) (/ 676.5203681218851 z)) (+ 0.9999999999998099 (/ -1259.1392167224028 (- z -1)))) (/ -0.13857109526572012 (- z -5)))) (/ 12.507343278686905 (+ 4 z))))
363.0ms
(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
0.0ms
(sqrt (* PI 2))
0.0ms
(sqrt (* PI 2))

simplify2.6s

Counts
139 → 139
Iterations
IterNodes
12338
0592

prune6.5s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

localize321.0ms

Local error

Found 4 expressions with local error:

1.0b
(* (+ (* 771.3234287776531 z) (* (+ 2 z) 676.5203681218851)) (+ (* 0.9999999999998099 0.9999999999998099) (- (* (/ -1259.1392167224028 (- z -1)) (/ -1259.1392167224028 (- z -1))) (* 0.9999999999998099 (/ -1259.1392167224028 (- z -1))))))
1.0b
(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
1.0b
(sqrt (* PI 2))
1.0b
(sqrt (* PI 2))

rewrite629.0ms

Algorithm
rewrite-expression-head
Rules
18×*-un-lft-identity
16×add-sqr-sqrt
14×associate-*l*
12×pow1
11×add-exp-log
9×add-cube-cbrt
8×add-cbrt-cube
7×unpow-prod-down associate-*r*
6×flip3-+ flip-+
5×distribute-lft-out
4×frac-times sqrt-pow1 prod-exp add-log-exp unswap-sqr
3×pow-prod-down associate-*l/ sqrt-prod
2×pow1/2 associate-*r/ *-commutative cbrt-unprod sqr-pow
1×distribute-rgt-in pow-to-exp unpow-prod-up distribute-lft-in pow-exp associate-+l- distribute-lft-out-- pow-sub
Counts
4 → 81
Calls
4 calls:
194.0ms
(* (+ (* 771.3234287776531 z) (* (+ 2 z) 676.5203681218851)) (+ (* 0.9999999999998099 0.9999999999998099) (- (* (/ -1259.1392167224028 (- z -1)) (/ -1259.1392167224028 (- z -1))) (* 0.9999999999998099 (/ -1259.1392167224028 (- z -1))))))
423.0ms
(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
5.0ms
(sqrt (* PI 2))
5.0ms
(sqrt (* PI 2))

series485.0ms

Counts
4 → 8
Calls
4 calls:
95.0ms
(* (+ (* 771.3234287776531 z) (* (+ 2 z) 676.5203681218851)) (+ (* 0.9999999999998099 0.9999999999998099) (- (* (/ -1259.1392167224028 (- z -1)) (/ -1259.1392167224028 (- z -1))) (* 0.9999999999998099 (/ -1259.1392167224028 (- z -1))))))
389.0ms
(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
0.0ms
(sqrt (* PI 2))
0.0ms
(sqrt (* PI 2))

simplify2.1s

Counts
89 → 89
Iterations
IterNodes
23439
1801
0246

prune5.9s

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0.0b

localize221.0ms

Local error

Found 4 expressions with local error:

1.0b
(/ (* (pow (+ (+ 7 (- z 1)) 0.5) (- z 1)) (* (pow (+ (+ 7 (- z 1)) 0.5) 0.5) (sqrt (* PI 2)))) (exp (+ 7 z)))
1.0b
(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
1.0b
(sqrt (* PI 2))
1.0b
(sqrt (* PI 2))

rewrite896.0ms

Algorithm
rewrite-expression-head
Rules
36×add-exp-log
24×prod-exp
18×*-un-lft-identity
15×add-cbrt-cube
14×add-sqr-sqrt
13×div-exp
11×associate-*l*
10×pow1
9×add-cube-cbrt
8×pow-to-exp pow-exp
7×unpow-prod-down
5×distribute-lft-out
4×associate-/r* sqrt-pow1 times-frac associate-*r* cbrt-unprod add-log-exp
3×cbrt-undiv sqrt-prod unswap-sqr
2×pow1/2 exp-sum pow-prod-down associate-*l/ pow-sub sqr-pow
1×unpow-prod-up clear-num frac-2neg *-commutative associate-+l- div-inv associate-/l* distribute-lft-out-- associate-/l/
Counts
4 → 89
Calls
4 calls:
493.0ms
(/ (* (pow (+ (+ 7 (- z 1)) 0.5) (- z 1)) (* (pow (+ (+ 7 (- z 1)) 0.5) 0.5) (sqrt (* PI 2)))) (exp (+ 7 z)))
397.0ms
(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
2.0ms
(sqrt (* PI 2))
2.0ms
(sqrt (* PI 2))

series1.2s

Counts
4 → 8
Calls
4 calls:
768.0ms
(/ (* (pow (+ (+ 7 (- z 1)) 0.5) (- z 1)) (* (pow (+ (+ 7 (- z 1)) 0.5) 0.5) (sqrt (* PI 2)))) (exp (+ 7 z)))
385.0ms
(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
0.0ms
(sqrt (* PI 2))
0.0ms
(sqrt (* PI 2))

simplify1.8s

Counts
97 → 97
Iterations
IterNodes
23596
1889
0311

prune4.3s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0b

regimes675.0ms

Accuracy

0% (0.5b remaining)

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

bsearch0.0ms

simplify88.0ms

Iterations
IterNodes
2115
1115
076

end0.0ms

sample49.7s

Algorithm
intervals
Results
16.8s3872×body10240exit
11.9s3363×body1280valid
6.9s2468×body640valid
5.2s1579×body1280nan
2.9s1290×body640nan
2.2s1275×body320valid
1.5s644×body320nan
698.0ms338×body160nan
630.0ms621×body160valid
263.0ms387×body80valid
134.0ms323×body80nan