Details

Time bar (total: 11.7s)

sample43.0ms

Algorithm
intervals
Results
15.0ms326×body80valid

simplify1.7s

Counts
1 → 1
Iterations
IterNodes
done5001
102716
9626
8237
798
680
569
449
331
217
110
06

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 1 expressions with local error:

0.0b
(* (- y x) z)

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
7×add-sqr-sqrt
5×*-un-lft-identity associate-*l*
3×pow1 add-cbrt-cube associate-*r* add-exp-log add-cube-cbrt
2×associate-*l/
1×flip3-- pow-prod-down prod-exp *-commutative cbrt-unprod flip-- distribute-lft-out-- add-log-exp difference-of-squares unswap-sqr
Counts
1 → 22
Calls
1 calls:
26.0ms
(* (- y x) z)

series42.0ms

Counts
1 → 3
Calls
1 calls:
42.0ms
(* (- y x) z)

simplify4.5s

Counts
25 → 25
Iterations
IterNodes
done5001
34948
2437
1109
049

prune122.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b
(sqrt (- y x))
0.0b
(sqrt (- y x))
0.1b
(* z (sqrt (- y x)))
0.2b
(* (sqrt (- y x)) (* z (sqrt (- y x))))

rewrite115.0ms

Algorithm
rewrite-expression-head
Rules
25×add-sqr-sqrt
21×sqrt-prod
19×*-un-lft-identity
18×sqrt-div
13×pow1
11×add-cbrt-cube associate-*l* add-exp-log add-cube-cbrt
10×associate-*r/
9×flip3-- associate-*r* flip--
4×frac-times pow-prod-down prod-exp cbrt-unprod distribute-lft-out-- add-log-exp difference-of-squares
2×rem-sqrt-square sqrt-pow1 pow1/2 associate-*l/ *-commutative unswap-sqr
Counts
4 → 91
Calls
4 calls:
11.0ms
(sqrt (- y x))
10.0ms
(sqrt (- y x))
20.0ms
(* z (sqrt (- y x)))
70.0ms
(* (sqrt (- y x)) (* z (sqrt (- y x))))

series377.0ms

Counts
4 → 12
Calls
4 calls:
99.0ms
(sqrt (- y x))
92.0ms
(sqrt (- y x))
131.0ms
(* z (sqrt (- y x)))
55.0ms
(* (sqrt (- y x)) (* z (sqrt (- y x))))

simplify669.0ms

Counts
103 → 103
Iterations
IterNodes
done5001
21248
1342
0138

prune568.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize32.0ms

Local error

Found 4 expressions with local error:

1.2b
(+ (* y (+ y x)) (* x x))
1.8b
(- (pow y 3) (pow x 3))
7.4b
(* (- (pow y 3) (pow x 3)) z)
36.6b
(/ (* (- (pow y 3) (pow x 3)) z) (+ (* y (+ y x)) (* x x)))

rewrite246.0ms

Algorithm
rewrite-expression-head
Rules
58×add-sqr-sqrt
32×difference-of-squares
28×*-un-lft-identity
25×associate-*l*
24×unpow-prod-down cube-prod
16×sqr-pow
11×add-cbrt-cube add-exp-log
10×distribute-lft-out--
8×add-cube-cbrt add-log-exp
6×pow1
4×associate-*l/
3×associate-/r* times-frac flip3-- associate-*r* flip--
2×difference-cubes cbrt-undiv associate-+l+ flip3-+ div-exp prod-exp associate-/r/ cbrt-unprod flip-+ associate-/l/
1×distribute-rgt-in +-commutative clear-num sum-log sub-neg frac-2neg distribute-lft-in diff-log pow-prod-down *-commutative div-inv associate-/l* unswap-sqr
Counts
4 → 114
Calls
4 calls:
19.0ms
(+ (* y (+ y x)) (* x x))
36.0ms
(- (pow y 3) (pow x 3))
105.0ms
(* (- (pow y 3) (pow x 3)) z)
77.0ms
(/ (* (- (pow y 3) (pow x 3)) z) (+ (* y (+ y x)) (* x x)))

series300.0ms

Counts
4 → 12
Calls
4 calls:
24.0ms
(+ (* y (+ y x)) (* x x))
82.0ms
(- (pow y 3) (pow x 3))
74.0ms
(* (- (pow y 3) (pow x 3)) z)
119.0ms
(/ (* (- (pow y 3) (pow x 3)) z) (+ (* y (+ y x)) (* x x)))

simplify1.1s

Counts
126 → 126
Iterations
IterNodes
done5002
22402
1447
0164

prune634.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes226.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
done8
18
06

end0.0ms

sample928.0ms

Algorithm
intervals
Results
417.0ms10090×body80valid