Details

Time bar (total: 11.2s)

sample35.0ms

Algorithm
intervals
Results
16.0ms384×body80valid

simplify1.1s

Counts
1 → 1

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize8.0ms

Local error

Found 2 expressions with local error:

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

rewrite53.0ms

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

series102.0ms

Counts
2 → 6
Calls
2 calls:
62.0ms
(+ x (* (- y z) (- t x)))
39.0ms
(* (- y z) (- t x))

simplify515.0ms

Counts
55 → 55

prune132.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize23.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ x (/ (* (- y z) (- (* t t) (* x x))) (+ t x)))
1.2b
(- (* t t) (* x x))
4.0b
(* (- y z) (- (* t t) (* x x)))
19.6b
(/ (* (- y z) (- (* t t) (* x x))) (+ t x))

rewrite191.0ms

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

series383.0ms

Counts
4 → 12
Calls
4 calls:
119.0ms
(+ x (/ (* (- y z) (- (* t t) (* x x))) (+ t x)))
33.0ms
(- (* t t) (* x x))
98.0ms
(* (- y z) (- (* t t) (* x x)))
133.0ms
(/ (* (- y z) (- (* t t) (* x x))) (+ t x))

simplify1.1s

Counts
103 → 103

prune282.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize10.0ms

Local error

Found 3 expressions with local error:

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

rewrite70.0ms

Algorithm
rewrite-expression-head
Rules
19×add-log-exp
6×sum-log
5×*-un-lft-identity
4×diff-log
3×pow1 add-exp-log add-sqr-sqrt add-cube-cbrt add-cbrt-cube
2×+-commutative sub-neg associate-+r+ flip3-+ flip-+
1×associate-+r- flip3-- flip-- distribute-lft-out associate--r+
Counts
3 → 42
Calls
3 calls:
44.0ms
(+ x (- (* t y) (+ (* t z) (* x y))))
9.0ms
(+ (* t z) (* x y))
15.0ms
(- (* t y) (+ (* t z) (* x y)))

series155.0ms

Counts
3 → 9
Calls
3 calls:
60.0ms
(+ x (- (* t y) (+ (* t z) (* x y))))
51.0ms
(+ (* t z) (* x y))
43.0ms
(- (* t y) (+ (* t z) (* x y)))

simplify1.4s

Counts
51 → 51

prune153.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ x (/ (- y z) (/ (+ t x) (- (* t t) (* x x)))))
0.3b
(/ (- y z) (/ (+ t x) (- (* t t) (* x x))))
1.2b
(- (* t t) (* x x))
17.5b
(/ (+ t x) (- (* t t) (* x x)))

rewrite214.0ms

Algorithm
rewrite-expression-head
Rules
222×times-frac
197×*-un-lft-identity
137×add-sqr-sqrt
91×add-cube-cbrt
53×difference-of-squares
30×distribute-lft-out
26×associate-/r*
23×distribute-lft-out--
15×associate-/r/
11×add-exp-log add-cbrt-cube
9×flip3-- flip-- associate-/l*
8×div-inv add-log-exp
4×pow1 cbrt-undiv div-exp associate-/l/
2×frac-2neg flip3-+ div-sub clear-num flip-+
1×+-commutative associate-+r- sub-neg diff-log sum-log
Counts
4 → 221
Calls
4 calls:
89.0ms
(+ x (/ (- y z) (/ (+ t x) (- (* t t) (* x x)))))
52.0ms
(/ (- y z) (/ (+ t x) (- (* t t) (* x x))))
12.0ms
(- (* t t) (* x x))
47.0ms
(/ (+ t x) (- (* t t) (* x x)))

series391.0ms

Counts
4 → 12
Calls
4 calls:
138.0ms
(+ x (/ (- y z) (/ (+ t x) (- (* t t) (* x x)))))
143.0ms
(/ (- y z) (/ (+ t x) (- (* t t) (* x x))))
46.0ms
(- (* t t) (* x x))
64.0ms
(/ (+ t x) (- (* t t) (* x x)))

simplify1.7s

Counts
233 → 233

prune682.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

regimes122.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.1s

end0.0ms

sample1.3s

Algorithm
intervals
Results
603.0ms12154×body80valid