Details

Time bar (total: 28.5s)

sample36.0ms

Algorithm
intervals
Results
20.0ms457×body80valid

simplify2.6s

Counts
1 → 1
Iterations
IterNodes
done5023
84325
71273
6494
5259
4162
398
253
122
011

prune17.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize26.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ y (+ z x))
0.1b
(/ (- x z) (/ y (+ z x)))
0.2b
(/ (+ y (/ (- x z) (/ y (+ z x)))) 2.0)

rewrite289.0ms

Algorithm
rewrite-expression-head
Rules
186×times-frac
178×*-un-lft-identity
126×add-sqr-sqrt
88×add-cube-cbrt
26×distribute-lft-out
25×associate-/r*
19×distribute-lft-out-- difference-of-squares
15×associate-/r/
12×add-cbrt-cube add-exp-log associate-/l*
9×div-inv
8×flip3-+ flip-+
5×cbrt-undiv div-exp
4×associate-/l/
3×pow1 clear-num frac-2neg div-sub insert-posit16 add-log-exp
1×associate-+r- flip3-- flip--
Counts
3 → 201
Calls
3 calls:
18.0ms
(/ y (+ z x))
45.0ms
(/ (- x z) (/ y (+ z x)))
212.0ms
(/ (+ y (/ (- x z) (/ y (+ z x)))) 2.0)

series158.0ms

Counts
3 → 9
Calls
3 calls:
28.0ms
(/ y (+ z x))
58.0ms
(/ (- x z) (/ y (+ z x)))
72.0ms
(/ (+ y (/ (- x z) (/ y (+ z x)))) 2.0)

simplify1.6s

Counts
210 → 210
Iterations
IterNodes
done5002
22903
1871
0299

prune741.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize26.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ (- x z) y)
0.2b
(/ (+ y (* (/ (- x z) y) (+ z x))) 2.0)
0.2b
(* (/ (- x z) y) (+ z x))

rewrite156.0ms

Algorithm
rewrite-expression-head
Rules
50×add-sqr-sqrt
47×*-un-lft-identity
40×times-frac
31×add-cube-cbrt
19×associate-*l*
12×add-cbrt-cube add-exp-log
8×associate-/l*
7×distribute-lft-out-- difference-of-squares
6×associate-/r*
5×pow1
4×associate-*r* associate-/l/
3×cbrt-undiv flip3-+ div-exp flip-+ insert-posit16 div-inv add-log-exp
2×frac-times clear-num frac-2neg prod-exp associate-*r/ cbrt-unprod unswap-sqr
1×distribute-rgt-in distribute-lft-in flip3-- div-sub pow-prod-down associate-*l/ *-commutative flip-- distribute-lft-out
Counts
3 → 115
Calls
3 calls:
30.0ms
(/ (- x z) y)
48.0ms
(/ (+ y (* (/ (- x z) y) (+ z x))) 2.0)
72.0ms
(* (/ (- x z) y) (+ z x))

series181.0ms

Counts
3 → 9
Calls
3 calls:
45.0ms
(/ (- x z) y)
66.0ms
(/ (+ y (* (/ (- x z) y) (+ z x))) 2.0)
70.0ms
(* (/ (- x z) y) (+ z x))

simplify1.4s

Counts
124 → 124
Iterations
IterNodes
done5010
21994
1612
0199

prune452.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (* x x) (* y y))
2.4b
(- (+ (* x x) (* y y)) (* z z))
21.8b
(/ (- (+ (* x x) (* y y)) (* z z)) (* y 2.0))

rewrite131.0ms

Algorithm
rewrite-expression-head
Rules
10×add-log-exp
8×add-sqr-sqrt add-cbrt-cube add-exp-log
5×*-un-lft-identity add-cube-cbrt
4×times-frac associate-/l*
3×pow1 insert-posit16 difference-of-squares
2×cbrt-undiv sum-log flip3-- diff-log div-exp flip-- associate-/l/
1×+-commutative clear-num associate-/r* sub-neg frac-2neg flip3-+ div-sub prod-exp associate--l+ cbrt-unprod flip-+ div-inv
Counts
3 → 55
Calls
3 calls:
8.0ms
(+ (* x x) (* y y))
42.0ms
(- (+ (* x x) (* y y)) (* z z))
79.0ms
(/ (- (+ (* x x) (* y y)) (* z z)) (* y 2.0))

series200.0ms

Counts
3 → 9
Calls
3 calls:
41.0ms
(+ (* x x) (* y y))
45.0ms
(- (+ (* x x) (* y y)) (* z z))
113.0ms
(/ (- (+ (* x x) (* y y)) (* z z)) (* y 2.0))

simplify1.1s

Counts
64 → 64
Iterations
IterNodes
done5002
21272
1342
0114

prune232.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0.0b

localize41.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ (/ (- x z) (sqrt (/ y (+ z x)))) (sqrt (/ y (+ z x))))
0.1b
(/ (- x z) (sqrt (/ y (+ z x))))
1.5b
(sqrt (/ y (+ z x)))
1.5b
(sqrt (/ y (+ z x)))

rewrite580.0ms

Algorithm
rewrite-expression-head
Rules
7475×times-frac
4911×*-un-lft-identity
4122×sqrt-prod
3543×add-sqr-sqrt
2569×add-cube-cbrt
687×distribute-lft-out
484×distribute-lft-out-- difference-of-squares
482×associate-/r/
253×div-inv
229×flip3-+ flip-+
115×associate-/l*
42×associate-/r*
26×sqrt-div
11×add-cbrt-cube add-exp-log
6×pow1
4×cbrt-undiv rem-sqrt-square div-exp insert-posit16 add-log-exp
3×div-sub associate-/l/
2×clear-num frac-2neg sqrt-pow1 pow1/2
1×flip3-- flip--
Counts
4 → 2669
Calls
4 calls:
125.0ms
(/ (/ (- x z) (sqrt (/ y (+ z x)))) (sqrt (/ y (+ z x))))
45.0ms
(/ (- x z) (sqrt (/ y (+ z x))))
17.0ms
(sqrt (/ y (+ z x)))
15.0ms
(sqrt (/ y (+ z x)))

series672.0ms

Counts
4 → 12
Calls
4 calls:
80.0ms
(/ (/ (- x z) (sqrt (/ y (+ z x)))) (sqrt (/ y (+ z x))))
87.0ms
(/ (- x z) (sqrt (/ y (+ z x))))
67.0ms
(sqrt (/ y (+ z x)))
438.0ms
(sqrt (/ y (+ z x)))

simplify3.7s

Counts
2681 → 2681
Iterations
IterNodes
done5000
02527

prune12.4s

Pruning

4 alts after pruning (0 fresh and 4 done)

Merged error: 0.0b

regimes295.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations
IterNodes
done12
112
010

end0.0ms

sample1.4s

Algorithm
intervals
Results
1.1s13819×body80valid