Details

Time bar (total: 27.2s)

sample31.0ms

Algorithm
intervals
Results
16.0ms324×body80valid

simplify10.9s

Counts
1 → 1
Iterations
IterNodes
done5000
434795
424756
414327
404289
393884
383847
373466
363428
353071
343034
332701
322662
312353
302316
292031
281994
271733
261696
251459
241421
231208
221171
21982
20945
19780
18742
17601
16564
15447
14410
13317
12280
11211
10174
9134
8107
766
650
545
439
335
225
115
06

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize8.0ms

Local error

Found 1 expressions with local error:

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

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
3×add-log-exp
2×associate-+r+
1×distribute-rgt-in add-sqr-sqrt pow1 +-commutative sum-log *-un-lft-identity distribute-lft-in flip3-+ add-cbrt-cube add-exp-log add-cube-cbrt flip-+ insert-posit16
Counts
1 → 14
Calls
1 calls:
8.0ms
(+ x (* y (+ z x)))

series31.0ms

Counts
1 → 3
Calls
1 calls:
31.0ms
(+ x (* y (+ z x)))

simplify1.6s

Counts
17 → 17
Iterations
IterNodes
done5019
32107
2366
196
035

prune70.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b
(- x (* y (+ z x)))
0.3b
(* (* y (+ z x)) (* y (+ z x)))
6.0b
(- (* x x) (* (* y (+ z x)) (* y (+ z x))))
28.3b
(/ (- (* x x) (* (* y (+ z x)) (* y (+ z x)))) (- x (* y (+ z x))))

rewrite113.0ms

Algorithm
rewrite-expression-head
Rules
43×pow1
18×add-cbrt-cube add-exp-log
17×pow-prod-down
14×associate-*r/
13×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
12×times-frac
9×distribute-rgt-in distribute-lft-in
8×prod-exp cbrt-unprod add-log-exp
6×flip3-+ flip-+ associate--r+
5×difference-of-squares
4×frac-times flip3-- pow-sqr pow-prod-up insert-posit16 flip-- associate-/l*
3×associate-/r*
2×sub-neg pow-plus diff-log associate-*l/ associate-/r/ associate-/l/
1×pow2 cbrt-undiv clear-num frac-2neg div-sub swap-sqr div-exp associate-*r* associate-*l* *-commutative div-inv
Counts
4 → 117
Calls
4 calls:
4.0ms
(- x (* y (+ z x)))
54.0ms
(* (* y (+ z x)) (* y (+ z x)))
8.0ms
(- (* x x) (* (* y (+ z x)) (* y (+ z x))))
46.0ms
(/ (- (* x x) (* (* y (+ z x)) (* y (+ z x)))) (- x (* y (+ z x))))

series397.0ms

Counts
4 → 12
Calls
4 calls:
45.0ms
(- x (* y (+ z x)))
40.0ms
(* (* y (+ z x)) (* y (+ z x)))
123.0ms
(- (* x x) (* (* y (+ z x)) (* y (+ z x))))
189.0ms
(/ (- (* x x) (* (* y (+ z x)) (* y (+ z x)))) (- x (* y (+ z x))))

simplify1.8s

Counts
129 → 129
Iterations
IterNodes
done5002
22170
1556
0182

prune505.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize47.0ms

Local error

Found 4 expressions with local error:

12.5b
(/ (* (cbrt (- (* x x) (* (* y (+ z x)) (* y (+ z x))))) (cbrt (- (* x x) (* (* y (+ z x)) (* y (+ z x)))))) (/ (- x (* y (+ z x))) (cbrt (- (* x x) (* (* y (+ z x)) (* y (+ z x)))))))
29.0b
(cbrt (- (* x x) (* (* y (+ z x)) (* y (+ z x)))))
29.0b
(cbrt (- (* x x) (* (* y (+ z x)) (* y (+ z x)))))
29.0b
(cbrt (- (* x x) (* (* y (+ z x)) (* y (+ z x)))))

rewrite120.0ms

Algorithm
rewrite-expression-head
Rules
69×times-frac
36×cbrt-prod
35×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
27×associate-/r*
22×cbrt-div
16×add-exp-log
11×flip3-- flip--
10×add-cbrt-cube
9×difference-of-squares
8×associate-/l/
6×cbrt-undiv div-exp
5×associate-/r/
4×frac-times pow1 insert-posit16 add-log-exp
3×pow1/3 div-inv
2×associate-*l/ prod-exp associate-*r/ cbrt-unprod
1×clear-num frac-2neg associate-/l*
Counts
4 → 128
Calls
4 calls:
80.0ms
(/ (* (cbrt (- (* x x) (* (* y (+ z x)) (* y (+ z x))))) (cbrt (- (* x x) (* (* y (+ z x)) (* y (+ z x)))))) (/ (- x (* y (+ z x))) (cbrt (- (* x x) (* (* y (+ z x)) (* y (+ z x)))))))
10.0ms
(cbrt (- (* x x) (* (* y (+ z x)) (* y (+ z x)))))
10.0ms
(cbrt (- (* x x) (* (* y (+ z x)) (* y (+ z x)))))
16.0ms
(cbrt (- (* x x) (* (* y (+ z x)) (* y (+ z x)))))

series2.4s

Counts
4 → 12
Calls
4 calls:
217.0ms
(/ (* (cbrt (- (* x x) (* (* y (+ z x)) (* y (+ z x))))) (cbrt (- (* x x) (* (* y (+ z x)) (* y (+ z x)))))) (/ (- x (* y (+ z x))) (cbrt (- (* x x) (* (* y (+ z x)) (* y (+ z x)))))))
755.0ms
(cbrt (- (* x x) (* (* y (+ z x)) (* y (+ z x)))))
717.0ms
(cbrt (- (* x x) (* (* y (+ z x)) (* y (+ z x)))))
707.0ms
(cbrt (- (* x x) (* (* y (+ z x)) (* y (+ z x)))))

simplify3.7s

Counts
140 → 140
Iterations
IterNodes
done5006
22518
1714
0249

prune1.4s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

localize37.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (* y (+ z x)) y)
5.7b
(* (* (* y (+ z x)) y) (+ z x))
6.0b
(- (* x x) (* (* (* y (+ z x)) y) (+ z x)))
28.3b
(/ (- (* x x) (* (* (* y (+ z x)) y) (+ z x))) (- x (* y (+ z x))))

rewrite202.0ms

Algorithm
rewrite-expression-head
Rules
20×add-cbrt-cube add-exp-log
18×pow1
16×*-un-lft-identity
14×add-sqr-sqrt add-cube-cbrt
10×associate-*l/ associate-*r/
9×times-frac pow-prod-down prod-exp cbrt-unprod
7×flip3-+ associate-*r* flip-+
6×add-log-exp
4×frac-times insert-posit16
3×associate-/r* flip3-- flip-- associate-/l*
2×distribute-rgt-in distribute-lft-in associate-*l* associate-/r/ *-commutative associate--r+ associate-/l/
1×cbrt-undiv clear-num sub-neg frac-2neg diff-log div-sub div-exp div-inv distribute-lft-out
Counts
4 → 102
Calls
4 calls:
48.0ms
(* (* y (+ z x)) y)
118.0ms
(* (* (* y (+ z x)) y) (+ z x))
7.0ms
(- (* x x) (* (* (* y (+ z x)) y) (+ z x)))
27.0ms
(/ (- (* x x) (* (* (* y (+ z x)) y) (+ z x))) (- x (* y (+ z x))))

series432.0ms

Counts
4 → 12
Calls
4 calls:
69.0ms
(* (* y (+ z x)) y)
51.0ms
(* (* (* y (+ z x)) y) (+ z x))
145.0ms
(- (* x x) (* (* (* y (+ z x)) y) (+ z x)))
165.0ms
(/ (- (* x x) (* (* (* y (+ z x)) y) (+ z x))) (- x (* y (+ z x))))

simplify2.0s

Counts
114 → 114
Iterations
IterNodes
done5002
22483
1576
0181

prune387.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0.0b

regimes131.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations
IterNodes
done9
19
06

end0.0ms

sample787.0ms

Algorithm
intervals
Results
465.0ms10105×body80valid