Details

Time bar (total: 28.0s)

sample108.0ms

Algorithm
intervals
Results
56.0ms365×body80valid

simplify1.3s

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02229
14329
210829
334029
4156729
done500129

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 34.4b

localize55.0ms

Local error

Found 4 expressions with local error:

3.0b
(- (* 3.0 (pow (/ z 2.0) 2.0)) (pow (/ c 2.0) 2.0))
5.8b
(- (pow (/ x 2.0) 2.0) (pow (/ y 2.0) 2.0))
8.0b
(/ a (* 3.13 (- (pow (/ x 2.0) 2.0) (pow (/ y 2.0) 2.0))))
27.4b
(* (/ a (* 3.13 (- (pow (/ x 2.0) 2.0) (pow (/ y 2.0) 2.0)))) (- (* 3.0 (pow (/ z 2.0) 2.0)) (pow (/ c 2.0) 2.0)))

rewrite805.0ms

Algorithm
rewrite-expression-head
Rules
45×add-sqr-sqrt
26×unpow-prod-down
21×*-un-lft-identity
20×times-frac
18×add-cbrt-cube add-exp-log
16×difference-of-squares
11×add-cube-cbrt
associate-*l*
add-log-exp sqr-pow
pow1 flip3-- associate-*r/ flip--
prod-exp cbrt-unprod distribute-lft-out--
cbrt-undiv sub-neg div-exp associate-/r/ div-inv
associate-*r* associate-/l*
distribute-rgt-in frac-times distribute-lft-in diff-log
clear-num associate-/r* frac-2neg distribute-rgt-out-- pow-prod-down associate-*l/ *-commutative unswap-sqr
Counts
4 → 106
Calls
4 calls:
44.0ms
(- (* 3.0 (pow (/ z 2.0) 2.0)) (pow (/ c 2.0) 2.0))
122.0ms
(- (pow (/ x 2.0) 2.0) (pow (/ y 2.0) 2.0))
95.0ms
(/ a (* 3.13 (- (pow (/ x 2.0) 2.0) (pow (/ y 2.0) 2.0))))
535.0ms
(* (/ a (* 3.13 (- (pow (/ x 2.0) 2.0) (pow (/ y 2.0) 2.0)))) (- (* 3.0 (pow (/ z 2.0) 2.0)) (pow (/ c 2.0) 2.0)))

series1.9s

Counts
4 → 12
Calls
4 calls:
500.0ms
(- (* 3.0 (pow (/ z 2.0) 2.0)) (pow (/ c 2.0) 2.0))
97.0ms
(- (pow (/ x 2.0) 2.0) (pow (/ y 2.0) 2.0))
125.0ms
(/ a (* 3.13 (- (pow (/ x 2.0) 2.0) (pow (/ y 2.0) 2.0))))
1.2s
(* (/ a (* 3.13 (- (pow (/ x 2.0) 2.0) (pow (/ y 2.0) 2.0)))) (- (* 3.0 (pow (/ z 2.0) 2.0)) (pow (/ c 2.0) 2.0)))

simplify1.8s

Counts
118 → 118
Iterations

Useful iterations: done (1.8s)

IterNodesCost
02283096
15603017
224712631
done50012625

prune1.2s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 29.3b

localize70.0ms

Local error

Found 4 expressions with local error:

8.0b
(/ a (* 3.13 (* (+ (sqrt (pow (/ x 2.0) 2.0)) (pow (/ y 2.0) (/ 2.0 2))) (- (sqrt (pow (/ x 2.0) 2.0)) (pow (/ y 2.0) (/ 2.0 2))))))
27.4b
(* (/ a (* 3.13 (* (+ (sqrt (pow (/ x 2.0) 2.0)) (pow (/ y 2.0) (/ 2.0 2))) (- (sqrt (pow (/ x 2.0) 2.0)) (pow (/ y 2.0) (/ 2.0 2)))))) (- (* 3.0 (pow (/ z 2.0) 2.0)) (pow (/ c 2.0) 2.0)))
28.5b
(sqrt (pow (/ x 2.0) 2.0))
28.5b
(sqrt (pow (/ x 2.0) 2.0))

rewrite3.1s

Algorithm
rewrite-expression-head
Rules
35×add-sqr-sqrt
34×sqrt-prod
30×unpow-prod-down
27×add-cbrt-cube add-exp-log
26×times-frac
25×*-un-lft-identity add-cube-cbrt
22×associate-*r/
16×associate-/r/
15×associate-*l*
10×frac-times prod-exp cbrt-unprod
rem-sqrt-square flip3-- flip--
pow1 cbrt-undiv flip3-+ div-exp flip-+
associate-*l/
div-inv add-log-exp sqr-pow
associate-*r* associate-/l*
distribute-rgt-in sub-neg distribute-lft-in sqrt-pow1 pow1/2
clear-num associate-/r* frac-2neg pow-prod-down *-commutative unswap-sqr
Counts
4 → 136
Calls
4 calls:
571.0ms
(/ a (* 3.13 (* (+ (sqrt (pow (/ x 2.0) 2.0)) (pow (/ y 2.0) (/ 2.0 2))) (- (sqrt (pow (/ x 2.0) 2.0)) (pow (/ y 2.0) (/ 2.0 2))))))
2.5s
(* (/ a (* 3.13 (* (+ (sqrt (pow (/ x 2.0) 2.0)) (pow (/ y 2.0) (/ 2.0 2))) (- (sqrt (pow (/ x 2.0) 2.0)) (pow (/ y 2.0) (/ 2.0 2)))))) (- (* 3.0 (pow (/ z 2.0) 2.0)) (pow (/ c 2.0) 2.0)))
17.0ms
(sqrt (pow (/ x 2.0) 2.0))
18.0ms
(sqrt (pow (/ x 2.0) 2.0))

series3.8s

Counts
4 → 12
Calls
4 calls:
467.0ms
(/ a (* 3.13 (* (+ (sqrt (pow (/ x 2.0) 2.0)) (pow (/ y 2.0) (/ 2.0 2))) (- (sqrt (pow (/ x 2.0) 2.0)) (pow (/ y 2.0) (/ 2.0 2))))))
956.0ms
(* (/ a (* 3.13 (* (+ (sqrt (pow (/ x 2.0) 2.0)) (pow (/ y 2.0) (/ 2.0 2))) (- (sqrt (pow (/ x 2.0) 2.0)) (pow (/ y 2.0) (/ 2.0 2)))))) (- (* 3.0 (pow (/ z 2.0) 2.0)) (pow (/ c 2.0) 2.0)))
1.2s
(sqrt (pow (/ x 2.0) 2.0))
1.2s
(sqrt (pow (/ x 2.0) 2.0))

simplify4.1s

Counts
148 → 148
Iterations

Useful iterations: 2 (1.0s)

IterNodesCost
03245309
18623951
245443371
done50013371

prune2.5s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 29.3b

regimes2.8s

Accuracy

23.9% (3.0b remaining)

Error of 30.8b against oracle of 27.8b and baseline of 31.7b

bsearch2.0ms

simplify15.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03156
13556
done3556

end0.0ms

sample4.4s

Algorithm
intervals
Results
3.4s10733×body80valid