Details

Time bar (total: 12.5s)

sample26.0ms

Algorithm
intervals
Results
15.0ms376×body80valid

simplify30.0ms

Counts
1 → 1
Iterations
IterNodes
done58
458
355
231
114
08

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize13.0ms

Local error

Found 1 expressions with local error:

0.0b
(- (* x x) (* (* y 4.0) z))

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
3×add-log-exp
1×add-sqr-sqrt pow1 sub-neg *-un-lft-identity flip3-- add-cbrt-cube diff-log add-exp-log add-cube-cbrt insert-posit16 flip--
Counts
1 → 13
Calls
1 calls:
12.0ms
(- (* x x) (* (* y 4.0) z))

series70.0ms

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

simplify1.7s

Counts
16 → 16
Iterations
IterNodes
done5000
31660
2380
1104
036

prune70.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize28.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* x x) (* (* y 4.0) z))
0.2b
(* (sqrt (- (* x x) (* (* y 4.0) z))) (sqrt (- (* x x) (* (* y 4.0) z))))
3.7b
(sqrt (- (* x x) (* (* y 4.0) z)))
3.7b
(sqrt (- (* x x) (* (* y 4.0) z)))

rewrite103.0ms

Algorithm
rewrite-expression-head
Rules
28×add-sqr-sqrt
24×sqrt-prod
21×pow1
16×sqrt-div
14×*-un-lft-identity add-cube-cbrt
10×sqrt-pow1 pow1/2
9×flip3-- flip--
8×swap-sqr
6×add-cbrt-cube associate-*r* associate-*l* add-exp-log add-log-exp
5×pow-prod-up
4×frac-times insert-posit16 unswap-sqr
3×pow-prod-down pow-sqr
2×rem-sqrt-square associate-*l/ associate-*r/
1×pow2 sub-neg rem-square-sqrt pow-plus sqrt-unprod diff-log prod-exp *-commutative cbrt-unprod
Counts
4 → 103
Calls
4 calls:
11.0ms
(- (* x x) (* (* y 4.0) z))
71.0ms
(* (sqrt (- (* x x) (* (* y 4.0) z))) (sqrt (- (* x x) (* (* y 4.0) z))))
9.0ms
(sqrt (- (* x x) (* (* y 4.0) z)))
9.0ms
(sqrt (- (* x x) (* (* y 4.0) z)))

series292.0ms

Counts
4 → 12
Calls
4 calls:
49.0ms
(- (* x x) (* (* y 4.0) z))
50.0ms
(* (sqrt (- (* x x) (* (* y 4.0) z))) (sqrt (- (* x x) (* (* y 4.0) z))))
104.0ms
(sqrt (- (* x x) (* (* y 4.0) z)))
89.0ms
(sqrt (- (* x x) (* (* y 4.0) z)))

simplify2.1s

Counts
115 → 115
Iterations
IterNodes
done5009
32432
2672
1254
0109

prune397.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize29.0ms

Local error

Found 4 expressions with local error:

3.7b
(sqrt (- (* x x) (* (* y 4.0) z)))
3.7b
(sqrt (- (* x x) (* (* y 4.0) z)))
3.7b
(sqrt (- (* x x) (* (* y 4.0) z)))
3.7b
(sqrt (- (* x x) (* (* y 4.0) z)))

rewrite40.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt sqrt-prod
8×pow1 *-un-lft-identity sqrt-div add-cube-cbrt
4×rem-sqrt-square sqrt-pow1 flip3-- add-cbrt-cube pow1/2 add-exp-log insert-posit16 flip-- add-log-exp
Counts
4 → 64
Calls
4 calls:
9.0ms
(sqrt (- (* x x) (* (* y 4.0) z)))
9.0ms
(sqrt (- (* x x) (* (* y 4.0) z)))
13.0ms
(sqrt (- (* x x) (* (* y 4.0) z)))
9.0ms
(sqrt (- (* x x) (* (* y 4.0) z)))

series377.0ms

Counts
4 → 12
Calls
4 calls:
110.0ms
(sqrt (- (* x x) (* (* y 4.0) z)))
101.0ms
(sqrt (- (* x x) (* (* y 4.0) z)))
87.0ms
(sqrt (- (* x x) (* (* y 4.0) z)))
78.0ms
(sqrt (- (* x x) (* (* y 4.0) z)))

simplify1.7s

Counts
76 → 76
Iterations
IterNodes
done5001
31536
2411
1131
053

prune412.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

localize30.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (sqrt (- (* x x) (* (* y 4.0) z))) (cbrt (* (sqrt (- (* x x) (* (* y 4.0) z))) (- (* x x) (* (* y 4.0) z)))))
3.7b
(sqrt (- (* x x) (* (* y 4.0) z)))
3.7b
(sqrt (- (* x x) (* (* y 4.0) z)))
16.2b
(cbrt (* (sqrt (- (* x x) (* (* y 4.0) z))) (- (* x x) (* (* y 4.0) z))))

rewrite170.0ms

Algorithm
rewrite-expression-head
Rules
46×sqrt-div
35×flip3-- flip--
32×frac-times cbrt-div
16×add-sqr-sqrt associate-*r/
10×associate-*l/ sqrt-prod
9×*-un-lft-identity add-cube-cbrt
8×pow1
6×associate-*l* add-exp-log
5×add-cbrt-cube
4×associate-*r* insert-posit16 add-log-exp
2×cbrt-prod rem-sqrt-square sqrt-pow1 pow1/2 unswap-sqr
1×pow1/3 cube-unmult pow-prod-down prod-exp *-commutative rem-cbrt-cube cbrt-unprod
Counts
4 → 101
Calls
4 calls:
105.0ms
(* (sqrt (- (* x x) (* (* y 4.0) z))) (cbrt (* (sqrt (- (* x x) (* (* y 4.0) z))) (- (* x x) (* (* y 4.0) z)))))
12.0ms
(sqrt (- (* x x) (* (* y 4.0) z)))
12.0ms
(sqrt (- (* x x) (* (* y 4.0) z)))
36.0ms
(cbrt (* (sqrt (- (* x x) (* (* y 4.0) z))) (- (* x x) (* (* y 4.0) z))))

series269.0ms

Counts
4 → 12
Calls
4 calls:
50.0ms
(* (sqrt (- (* x x) (* (* y 4.0) z))) (cbrt (* (sqrt (- (* x x) (* (* y 4.0) z))) (- (* x x) (* (* y 4.0) z)))))
72.0ms
(sqrt (- (* x x) (* (* y 4.0) z)))
74.0ms
(sqrt (- (* x x) (* (* y 4.0) z)))
72.0ms
(cbrt (* (sqrt (- (* x x) (* (* y 4.0) z))) (- (* x x) (* (* y 4.0) z))))

simplify2.6s

Counts
113 → 113
Iterations
IterNodes
done5001
33321
2902
1346
0154

prune566.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0.0b

regimes228.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
done10
110
08

end0.0ms

sample1.2s

Algorithm
intervals
Results
972.0ms12342×body80valid