Details

Time bar (total: 14.4s)

sample21.0ms

Algorithm
intervals
Results
9.0ms313×body80valid

simplify2.4s

Counts
1 → 1
Iterations
IterNodes
done5000
112690
10948
9413
8213
7113
678
562
447
332
218
111
07

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 9.4b

localize15.0ms

Local error

Found 2 expressions with local error:

0.0b
(* y (- z x))
8.9b
(/ (+ x (* y (- z x))) z)

rewrite57.0ms

Algorithm
rewrite-expression-head
Rules
16×add-sqr-sqrt
14×*-un-lft-identity
12×add-cube-cbrt
9×times-frac
6×add-cbrt-cube add-exp-log
5×associate-*r*
4×pow1
3×associate-/r* associate-*l* associate-/l*
2×distribute-rgt-in sub-neg distribute-lft-in associate-*r/ add-log-exp associate-/l/
1×cbrt-undiv clear-num frac-2neg flip3-+ flip3-- div-exp pow-prod-down prod-exp *-commutative cbrt-unprod flip-+ div-inv flip-- distribute-lft-out-- difference-of-squares unswap-sqr
Counts
2 → 55
Calls
2 calls:
22.0ms
(* y (- z x))
32.0ms
(/ (+ x (* y (- z x))) z)

series124.0ms

Counts
2 → 6
Calls
2 calls:
53.0ms
(* y (- z x))
70.0ms
(/ (+ x (* y (- z x))) z)

simplify1.9s

Counts
61 → 61
Iterations
IterNodes
done5021
33008
2713
1249
0107

prune306.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 2.8b

localize20.0ms

Local error

Found 2 expressions with local error:

0.0b
(- (+ y (/ x z)) (/ (* x y) z))
6.3b
(/ (* x y) z)

rewrite104.0ms

Algorithm
rewrite-expression-head
Rules
9×*-un-lft-identity
7×add-cbrt-cube add-exp-log add-log-exp
6×add-sqr-sqrt
4×add-cube-cbrt
3×associate-/r* times-frac
2×pow1 cbrt-undiv diff-log div-exp frac-sub distribute-lft-out--
1×clear-num sum-log sub-neg frac-2neg flip3-+ flip3-- prod-exp associate--l+ cbrt-unprod flip-+ div-inv flip-- distribute-lft-out associate-/l* difference-of-squares
Counts
2 → 40
Calls
2 calls:
92.0ms
(- (+ y (/ x z)) (/ (* x y) z))
11.0ms
(/ (* x y) z)

series59.0ms

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

simplify2.7s

Counts
46 → 46
Iterations
IterNodes
done5274
34555
2962
1256
096

prune184.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize13.0ms

Local error

Found 2 expressions with local error:

0.0b
(- (/ x z) (* (/ x z) y))
2.7b
(* (/ x z) y)

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
15×add-sqr-sqrt
13×associate-*l*
10×*-un-lft-identity times-frac add-cube-cbrt
7×add-cbrt-cube add-exp-log
4×pow1 add-log-exp
3×associate-*r* associate-*l/
2×prod-exp cbrt-unprod unswap-sqr
1×cbrt-undiv sub-neg flip3-- diff-log div-exp pow-prod-down *-commutative frac-sub div-inv flip-- sub-div
Counts
2 → 46
Calls
2 calls:
17.0ms
(- (/ x z) (* (/ x z) y))
12.0ms
(* (/ x z) y)

series71.0ms

Counts
2 → 6
Calls
2 calls:
47.0ms
(- (/ x z) (* (/ x z) y))
24.0ms
(* (/ x z) y)

simplify2.8s

Counts
52 → 52
Iterations
IterNodes
done5004
33543
2795
1229
092

prune327.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

localize12.0ms

Local error

Found 2 expressions with local error:

0.0b
(- (+ y (/ x z)) (/ x (/ z y)))
6.6b
(/ x (/ z y))

rewrite170.0ms

Algorithm
rewrite-expression-head
Rules
78×times-frac
53×add-sqr-sqrt
49×*-un-lft-identity
44×add-cube-cbrt
13×associate-/r*
7×add-cbrt-cube add-exp-log add-log-exp
5×div-inv
3×cbrt-undiv div-exp associate-/l* difference-of-squares
2×pow1 diff-log frac-sub distribute-lft-out--
1×clear-num sum-log sub-neg frac-2neg flip3-+ flip3-- associate--l+ associate-/r/ flip-+ flip-- distribute-lft-out
Counts
2 → 91
Calls
2 calls:
155.0ms
(- (+ y (/ x z)) (/ x (/ z y)))
7.0ms
(/ x (/ z y))

series89.0ms

Counts
2 → 6
Calls
2 calls:
45.0ms
(- (+ y (/ x z)) (/ x (/ z y)))
44.0ms
(/ x (/ z y))

simplify1.3s

Counts
97 → 97
Iterations
IterNodes
done5001
21799
1511
0202

prune558.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

regimes147.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
done9
19
07

end0.0ms

sample1.1s

Algorithm
intervals
Results
835.0ms10150×body80valid