Details

Time bar (total: 31.8s)

sample313.0ms

Algorithm
intervals
Results
167.0ms123×body1280valid
48.0ms59×body640valid
37.0ms256×pre80true
13.0ms21×body320valid
8.0ms39×body80valid
5.0ms14×body160valid

simplify6.2s

Counts
1 → 1
Iterations
IterNodes
done5000
94724
81354
7446
6193
589
439
333
222
115
09

prune18.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 12.1b

localize31.0ms

Local error

Found 3 expressions with local error:

0.1b
(- x (- (tan a) (tan (+ y z))))
0.2b
(- (tan a) (tan (+ y z)))
4.2b
(tan (+ y z))

rewrite63.0ms

Algorithm
rewrite-expression-head
Rules
38×*-un-lft-identity
35×add-sqr-sqrt
33×prod-diff
25×add-cube-cbrt
11×associate--r+
10×add-log-exp
7×distribute-lft-out--
6×fma-neg
5×difference-of-squares
4×diff-log tan-quot
3×expm1-log1p-u pow1 sub-neg add-cbrt-cube add-exp-log log1p-expm1-u
2×tan-sum flip3-- frac-sub flip--
1×associate--r-
Counts
3 → 89
Calls
3 calls:
21.0ms
(- x (- (tan a) (tan (+ y z))))
29.0ms
(- (tan a) (tan (+ y z)))
10.0ms
(tan (+ y z))

series473.0ms

Counts
3 → 9
Calls
3 calls:
189.0ms
(- x (- (tan a) (tan (+ y z))))
195.0ms
(- (tan a) (tan (+ y z)))
89.0ms
(tan (+ y z))

simplify1.5s

Counts
98 → 98
Iterations
IterNodes
done5001
21529
1377
0162

prune516.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.1b

localize46.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ (+ (tan z) (tan y)) (- 1 (* (tan z) (tan y))))
0.1b
(- x (- (tan a) (/ (+ (tan z) (tan y)) (- 1 (* (tan z) (tan y))))))
0.2b
(* (tan z) (tan y))
0.2b
(- (tan a) (/ (+ (tan z) (tan y)) (- 1 (* (tan z) (tan y)))))

rewrite306.0ms

Algorithm
rewrite-expression-head
Rules
167×*-un-lft-identity
134×add-sqr-sqrt
126×prod-diff
110×add-cube-cbrt
88×times-frac
56×associate--r+
22×distribute-lft-out
14×associate-/r/
11×add-log-exp
9×flip3-- flip-- difference-of-squares
8×add-cbrt-cube add-exp-log
7×tan-quot div-inv distribute-lft-out--
6×pow1 fma-neg
4×expm1-log1p-u diff-log log1p-expm1-u associate-/l*
3×associate-/r* sub-neg associate-*r* associate-*l* associate-/l/
1×frac-times cbrt-undiv clear-num frac-2neg flip3-+ div-exp pow-prod-down associate-*l/ frac-add prod-exp associate-*r/ *-commutative frac-sub cbrt-unprod flip-+ associate--r- unswap-sqr
Counts
4 → 232
Calls
4 calls:
35.0ms
(/ (+ (tan z) (tan y)) (- 1 (* (tan z) (tan y))))
166.0ms
(- x (- (tan a) (/ (+ (tan z) (tan y)) (- 1 (* (tan z) (tan y))))))
23.0ms
(* (tan z) (tan y))
69.0ms
(- (tan a) (/ (+ (tan z) (tan y)) (- 1 (* (tan z) (tan y)))))

series1.8s

Counts
4 → 12
Calls
4 calls:
321.0ms
(/ (+ (tan z) (tan y)) (- 1 (* (tan z) (tan y))))
622.0ms
(- x (- (tan a) (/ (+ (tan z) (tan y)) (- 1 (* (tan z) (tan y))))))
151.0ms
(* (tan z) (tan y))
662.0ms
(- (tan a) (/ (+ (tan z) (tan y)) (- 1 (* (tan z) (tan y)))))

simplify2.8s

Counts
244 → 244
Iterations
IterNodes
done5000
24713
11055
0393

prune1.5s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize110.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* (tan y) (tan y)) (tan z))
0.2b
(- (tan a) (/ (* (fma (tan z) (tan y) 1) (+ (tan y) (tan z))) (- 1 (* (tan z) (* (* (tan y) (tan y)) (tan z))))))
0.2b
(* (tan y) (tan y))
0.2b
(* (tan y) (tan y))

rewrite136.0ms

Algorithm
rewrite-expression-head
Rules
36×add-sqr-sqrt
31×*-un-lft-identity
29×add-cube-cbrt
27×prod-diff
23×pow1
21×tan-quot
13×add-cbrt-cube add-exp-log
9×times-frac associate-*r*
7×frac-times associate-*l* associate-*l/
6×swap-sqr associate-/r/ add-log-exp
5×pow-prod-down prod-exp associate-*r/ cbrt-unprod
4×expm1-log1p-u flip3-- log1p-expm1-u flip--
3×fma-neg *-commutative div-inv unswap-sqr
2×pow2 pow-plus pow-sqr pow-prod-up
1×sub-neg diff-log frac-sub distribute-lft-out-- difference-of-squares
Counts
4 → 135
Calls
4 calls:
64.0ms
(* (* (tan y) (tan y)) (tan z))
25.0ms
(- (tan a) (/ (* (fma (tan z) (tan y) 1) (+ (tan y) (tan z))) (- 1 (* (tan z) (* (* (tan y) (tan y)) (tan z))))))
14.0ms
(* (tan y) (tan y))
25.0ms
(* (tan y) (tan y))

series1.8s

Counts
4 → 12
Calls
4 calls:
138.0ms
(* (* (tan y) (tan y)) (tan z))
1.6s
(- (tan a) (/ (* (fma (tan z) (tan y) 1) (+ (tan y) (tan z))) (- 1 (* (tan z) (* (* (tan y) (tan y)) (tan z))))))
43.0ms
(* (tan y) (tan y))
36.0ms
(* (tan y) (tan y))

simplify2.1s

Counts
147 → 147
Iterations
IterNodes
done5000
24498
1730
0258

prune1.1s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize65.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (tan y) (tan y))
0.2b
(* (tan y) (tan y))
0.4b
(pow (* (tan y) (tan y)) 3)
9.7b
(cbrt (pow (* (tan y) (tan y)) 3))

rewrite60.0ms

Algorithm
rewrite-expression-head
Rules
26×pow1
18×add-sqr-sqrt
16×tan-quot
14×*-un-lft-identity add-cube-cbrt
11×add-cbrt-cube add-exp-log
8×cbrt-prod
6×cube-div pow-pow swap-sqr associate-*r* associate-*l*
4×expm1-log1p-u frac-times associate-*l/ associate-*r/ log1p-expm1-u add-log-exp
3×pow2 pow-unpow cbrt-div pow-plus pow-prod-down prod-exp pow-sqr pow-prod-up cbrt-unprod
2×cube-mult unpow-prod-down unpow3 cube-prod pow-exp *-commutative rem-cube-cbrt unswap-sqr sqr-pow
1×pow-to-exp pow1/3 rem-cbrt-cube
Counts
4 → 113
Calls
4 calls:
11.0ms
(* (tan y) (tan y))
17.0ms
(* (tan y) (tan y))
23.0ms
(pow (* (tan y) (tan y)) 3)
6.0ms
(cbrt (pow (* (tan y) (tan y)) 3))

series248.0ms

Counts
4 → 12
Calls
4 calls:
39.0ms
(* (tan y) (tan y))
35.0ms
(* (tan y) (tan y))
110.0ms
(pow (* (tan y) (tan y)) 3)
64.0ms
(cbrt (pow (* (tan y) (tan y)) 3))

simplify1.2s

Counts
125 → 125
Iterations
IterNodes
done5000
22123
1308
0113

prune792.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

regimes420.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify4.0ms

Iterations
IterNodes
done43
143
031

end0.0ms

sample8.2s

Algorithm
intervals
Results
4.3s3893×body1280valid
1.7s1992×body640valid
451.0ms8000×pre80true
449.0ms1131×body80valid
428.0ms289×body160valid
425.0ms695×body320valid