Details

Time bar (total: 34.2s)

sample42.0ms

Algorithm
intervals
Results
19.0ms330×body80valid

simplify5.5s

Counts
1 → 1
Iterations
IterNodes
done5002
82662
71716
6872
5387
4171
384
234
114
08

prune21.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 3.9b

localize89.0ms

Local error

Found 2 expressions with local error:

0.0b
(* (- 1.0 y) z)
3.6b
(* x (- 1.0 (* (- 1.0 y) z)))

rewrite104.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt
8×*-un-lft-identity associate-*l*
6×pow1 add-cbrt-cube associate-*r* add-exp-log add-cube-cbrt
2×distribute-rgt-in sub-neg distribute-lft-in flip3-- pow-prod-down associate-*l/ prod-exp associate-*r/ *-commutative cbrt-unprod insert-posit16 flip-- add-log-exp unswap-sqr
1×distribute-lft-out-- difference-of-squares
Counts
2 → 48
Calls
2 calls:
43.0ms
(* (- 1.0 y) z)
58.0ms
(* x (- 1.0 (* (- 1.0 y) z)))

series156.0ms

Counts
2 → 6
Calls
2 calls:
48.0ms
(* (- 1.0 y) z)
108.0ms
(* x (- 1.0 (* (- 1.0 y) z)))

simplify6.2s

Counts
54 → 54
Iterations
IterNodes
done5000
33110
2670
1228
095

prune607.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 3.7b

localize90.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (* z y) (* 1.0 z))
0.0b
(+ (* 1.0 x) (* x (- (* z y) (* 1.0 z))))
3.6b
(* x (- (* z y) (* 1.0 z)))

rewrite173.0ms

Algorithm
rewrite-expression-head
Rules
7×add-sqr-sqrt add-log-exp
5×pow1 sub-neg *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt
4×distribute-rgt-in associate-+r+ distribute-lft-in
3×associate-*r* associate-*l* insert-posit16
2×flip3-- associate-*r/ flip--
1×+-commutative sum-log flip3-+ diff-log pow-prod-down prod-exp *-commutative cbrt-unprod flip-+ unswap-sqr
Counts
3 → 54
Calls
3 calls:
36.0ms
(- (* z y) (* 1.0 z))
39.0ms
(+ (* 1.0 x) (* x (- (* z y) (* 1.0 z))))
93.0ms
(* x (- (* z y) (* 1.0 z)))

series309.0ms

Counts
3 → 9
Calls
3 calls:
64.0ms
(- (* z y) (* 1.0 z))
133.0ms
(+ (* 1.0 x) (* x (- (* z y) (* 1.0 z))))
112.0ms
(* x (- (* z y) (* 1.0 z)))

simplify8.0s

Counts
63 → 63
Iterations
IterNodes
done5003
33950
2827
1260
089

prune771.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize74.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (* 1.0 x) (* (* x z) (- y 1.0)))
3.4b
(* (* x z) (- y 1.0))

rewrite119.0ms

Algorithm
rewrite-expression-head
Rules
7×pow1 add-cbrt-cube add-exp-log
5×add-sqr-sqrt *-un-lft-identity associate-*r*
4×distribute-rgt-in associate-+r+ sub-neg distribute-lft-in add-log-exp
3×pow-prod-down prod-exp add-cube-cbrt cbrt-unprod
2×associate-*r/ insert-posit16
1×+-commutative sum-log flip3-+ flip3-- associate-*l* *-commutative flip-+ flip-- distribute-lft-out-- difference-of-squares
Counts
2 → 43
Calls
2 calls:
25.0ms
(+ (* 1.0 x) (* (* x z) (- y 1.0)))
89.0ms
(* (* x z) (- y 1.0))

series183.0ms

Counts
2 → 6
Calls
2 calls:
109.0ms
(+ (* 1.0 x) (* (* x z) (- y 1.0)))
73.0ms
(* (* x z) (- y 1.0))

simplify2.8s

Counts
49 → 49
Iterations
IterNodes
done5000
2955
1268
091

prune567.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.0b

localize141.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
0.6b
(cbrt x)
0.8b
(* (* (cbrt x) z) (- y 1.0))
2.6b
(* (* (cbrt x) (cbrt x)) (* (* (cbrt x) z) (- y 1.0)))

rewrite314.0ms

Algorithm
rewrite-expression-head
Rules
30×pow1 add-exp-log
21×add-cbrt-cube
18×pow-prod-down prod-exp cbrt-unprod
10×distribute-rgt-in distribute-lft-in
9×add-sqr-sqrt *-un-lft-identity
7×add-cube-cbrt
6×cbrt-prod sub-neg associate-*r* associate-*r/
4×insert-posit16 add-log-exp
2×flip3-- pow1/3 associate-*l* *-commutative flip--
1×distribute-lft-out-- difference-of-squares
Counts
4 → 90
Calls
4 calls:
4.0ms
(cbrt x)
4.0ms
(cbrt x)
83.0ms
(* (* (cbrt x) z) (- y 1.0))
213.0ms
(* (* (cbrt x) (cbrt x)) (* (* (cbrt x) z) (- y 1.0)))

series1.0s

Counts
4 → 12
Calls
4 calls:
318.0ms
(cbrt x)
334.0ms
(cbrt x)
279.0ms
(* (* (cbrt x) z) (- y 1.0))
106.0ms
(* (* (cbrt x) (cbrt x)) (* (* (cbrt x) z) (- y 1.0)))

simplify3.4s

Counts
102 → 102
Iterations
IterNodes
done5002
21533
1413
0135

prune941.0ms

Pruning

7 alts after pruning (4 fresh and 3 done)

Merged error: 0.0b

regimes1.1s

Accuracy

77.4% (0.4b remaining)

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

bsearch108.0ms

Steps
ItersRangePoint
8
1.2914547719902283e-37
3.4964201940005623e-34
8.604071023782878e-36
7
-1.63582229629327e-126
-5.200661546553375e-128
-1.607080134200986e-126

simplify15.0ms

Iterations
IterNodes
done31
131
020

end0.0ms

sample1.3s

Algorithm
intervals
Results
701.0ms10192×body80valid