Details

Time bar (total: 12.7s)

sample23.0ms

Algorithm
intervals
Results
10.0ms322×body80valid

simplify275.0ms

Counts
1 → 1

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (* x y) (* z (- 1.0 y)))
0.0b
(* z (- 1.0 y))

rewrite41.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt
6×*-un-lft-identity
5×associate-*r*
4×pow1 add-exp-log distribute-rgt-in add-cube-cbrt sub-neg associate-+r+ distribute-lft-in add-cbrt-cube add-log-exp
3×associate-*l*
2×associate-*r/
1×+-commutative flip3-- flip3-+ pow-prod-down prod-exp sum-log *-commutative flip-- cbrt-unprod flip-+ distribute-lft-out-- difference-of-squares unswap-sqr
Counts
2 → 41
Calls
2 calls:
10.0ms
(+ (* x y) (* z (- 1.0 y)))
30.0ms
(* z (- 1.0 y))

series74.0ms

Counts
2 → 6
Calls
2 calls:
38.0ms
(+ (* x y) (* z (- 1.0 y)))
36.0ms
(* z (- 1.0 y))

simplify1.3s

Counts
47 → 47

prune110.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize9.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (+ (* x y) (* 1.0 z)) (* (- y) z))
0.0b
(+ (* x y) (* 1.0 z))

rewrite48.0ms

Algorithm
rewrite-expression-head
Rules
9×add-log-exp
4×sum-log
2×pow1 add-exp-log +-commutative distribute-lft-neg-out add-sqr-sqrt add-cube-cbrt *-un-lft-identity flip3-+ add-cbrt-cube flip-+
1×associate-+l+ unsub-neg
Counts
2 → 26
Calls
2 calls:
33.0ms
(+ (+ (* x y) (* 1.0 z)) (* (- y) z))
14.0ms
(+ (* x y) (* 1.0 z))

series97.0ms

Counts
2 → 6
Calls
2 calls:
52.0ms
(+ (+ (* x y) (* 1.0 z)) (* (- y) z))
44.0ms
(+ (* x y) (* 1.0 z))

simplify1.7s

Counts
32 → 32

prune95.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize21.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (* x y) (* x y))
1.4b
(+ (* (* z (- 1.0 y)) (- (* z (- 1.0 y)) (* x y))) (* (* x y) (* x y)))
1.7b
(+ (pow (* x y) 3) (pow (* z (- 1.0 y)) 3))
34.8b
(/ (+ (pow (* x y) 3) (pow (* z (- 1.0 y)) 3)) (+ (* (* z (- 1.0 y)) (- (* z (- 1.0 y)) (* x y))) (* (* x y) (* x y))))

rewrite290.0ms

Algorithm
rewrite-expression-head
Rules
43×pow1
24×*-un-lft-identity
18×add-exp-log add-cbrt-cube
17×pow-prod-down
15×times-frac
14×add-sqr-sqrt add-cube-cbrt
12×associate-+l+
10×distribute-rgt-in distribute-lft-in
8×prod-exp associate--l+ cbrt-unprod add-log-exp
6×sub-neg
5×sum-cubes distribute-lft-out associate-/l*
4×flip3-+ pow-sqr pow-prod-up flip-+
3×associate-/r*
2×+-commutative pow-plus sum-log associate-/r/ associate-/l/
1×cbrt-undiv pow2 frac-2neg swap-sqr div-exp associate-*r* associate-*l* clear-num *-commutative div-inv
Counts
4 → 109
Calls
4 calls:
36.0ms
(* (* x y) (* x y))
86.0ms
(+ (* (* z (- 1.0 y)) (- (* z (- 1.0 y)) (* x y))) (* (* x y) (* x y)))
18.0ms
(+ (pow (* x y) 3) (pow (* z (- 1.0 y)) 3))
142.0ms
(/ (+ (pow (* x y) 3) (pow (* z (- 1.0 y)) 3)) (+ (* (* z (- 1.0 y)) (- (* z (- 1.0 y)) (* x y))) (* (* x y) (* x y))))

series654.0ms

Counts
4 → 12
Calls
4 calls:
46.0ms
(* (* x y) (* x y))
143.0ms
(+ (* (* z (- 1.0 y)) (- (* z (- 1.0 y)) (* x y))) (* (* x y) (* x y)))
142.0ms
(+ (pow (* x y) 3) (pow (* z (- 1.0 y)) 3))
323.0ms
(/ (+ (pow (* x y) 3) (pow (* z (- 1.0 y)) 3)) (+ (* (* z (- 1.0 y)) (- (* z (- 1.0 y)) (* x y))) (* (* x y) (* x y))))

simplify1.7s

Counts
121 → 121

prune426.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize65.0ms

Local error

Found 4 expressions with local error:

3.2b
(* (* x y) (* z (- 1.0 y)))
26.3b
(sqrt (+ (* (* z (- 1.0 y)) (- (* z (- 1.0 y)) (* x y))) (* (* x y) (* x y))))
26.3b
(sqrt (+ (* (* z (- 1.0 y)) (- (* z (- 1.0 y)) (* x y))) (* (* x y) (* x y))))
26.4b
(/ (+ (* (* x y) (* x y)) (- (* (* z (- 1.0 y)) (* z (- 1.0 y))) (* (* x y) (* z (- 1.0 y))))) (sqrt (+ (* (* z (- 1.0 y)) (- (* z (- 1.0 y)) (* x y))) (* (* x y) (* x y)))))

rewrite983.0ms

Algorithm
rewrite-expression-head
Rules
23×add-sqr-sqrt
21×add-cube-cbrt *-un-lft-identity
18×pow1 add-exp-log times-frac sqrt-prod add-cbrt-cube
8×distribute-rgt-in distribute-lft-in pow-prod-down prod-exp cbrt-unprod
6×sqrt-div associate-/r*
4×sub-neg flip3-+ associate-*r/ flip-+ add-log-exp
3×associate-/l*
2×rem-sqrt-square sqrt-pow1 pow1/2 associate-/r/ associate-/l/
1×cbrt-undiv associate-+r- flip3-- frac-2neg div-sub div-exp associate-*r* associate-*l* clear-num *-commutative flip-- div-inv
Counts
4 → 106
Calls
4 calls:
61.0ms
(* (* x y) (* z (- 1.0 y)))
133.0ms
(sqrt (+ (* (* z (- 1.0 y)) (- (* z (- 1.0 y)) (* x y))) (* (* x y) (* x y))))
103.0ms
(sqrt (+ (* (* z (- 1.0 y)) (- (* z (- 1.0 y)) (* x y))) (* (* x y) (* x y))))
678.0ms
(/ (+ (* (* x y) (* x y)) (- (* (* z (- 1.0 y)) (* z (- 1.0 y))) (* (* x y) (* z (- 1.0 y))))) (sqrt (+ (* (* z (- 1.0 y)) (- (* z (- 1.0 y)) (* x y))) (* (* x y) (* x y)))))

series1.0s

Counts
4 → 12
Calls
4 calls:
81.0ms
(* (* x y) (* z (- 1.0 y)))
267.0ms
(sqrt (+ (* (* z (- 1.0 y)) (- (* z (- 1.0 y)) (* x y))) (* (* x y) (* x y))))
263.0ms
(sqrt (+ (* (* z (- 1.0 y)) (- (* z (- 1.0 y)) (* x y))) (* (* x y) (* x y))))
437.0ms
(/ (+ (* (* x y) (* x y)) (- (* (* z (- 1.0 y)) (* z (- 1.0 y))) (* (* x y) (* z (- 1.0 y))))) (sqrt (+ (* (* z (- 1.0 y)) (- (* z (- 1.0 y)) (* x y))) (* (* x y) (* x y)))))

simplify1.6s

Counts
118 → 118

prune905.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes62.0ms

Accuracy

-59.3% (0.0b remaining)

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

bsearch0.0ms

simplify304.0ms

end0.0ms

sample956.0ms

Algorithm
intervals
Results
427.0ms10165×body80valid